Lógica formal

Por Richard C. Jeffrey

• Referencia: 164348
• Condición del libro: Muy bueno
• ISBN: 9788431309497

Ed. Univ. de Navarra. Pamplona 1986 22 cm., 279 pag. Este es un libro para el principiante, diseñado para familiarizarle a lo largo de un curso semestral con un sistema completo de lógica cuantificacional y darle los medios para comprobar que el sistema es completo y que ningún sistema de lógica cuantificacional es decidible. FILOSOFIA-PENSAMIENTO .