Ambos textos ofrecen una introducción rigurosa a la lógica formal, cubriendo desde la lógica de proposiciones hasta la teoría de conjuntos.

por Patrick Suppes · 1957
Ver sugerenciasSinopsis
Un libro de texto clásico que aborda la lógica formal con un enfoque riguroso y metódico, introduciendo gradualmente los conceptos desde la lógica de proposiciones hasta la lógica de predicados y la teoría de conjuntos.
Sé el primero en valorar este libro.
Otras obras del mismo autor en el catálogo

1957

1957

1960

1962

1962

1969

1970

1970

1971

1973

1974

1975

1979

1983

1983
Libros relacionados según distintos criterios de búsqueda
Ambos textos ofrecen una introducción rigurosa a la lógica formal, cubriendo desde la lógica de proposiciones hasta la teoría de conjuntos.
Este libro se enfoca en la lógica simbólica y metalógica, complementando la formación en sistemas formales que se presenta en la referencia.
Copi también introduce principios fundamentales de la lógica, abordando la lógica proposicional y de predicados de manera similar a Suppes.
La obra de Church presenta fundamentos de la lógica clásica que se alinean con el enfoque riguroso y formal de Suppes en su libro.
El texto de Suppes refuerza el enfoque rigurosamente axiomático de la lógica formal, complementando y extendiendo los conceptos presentados en su referencia.
La obra de Suppes sobre teoría de conjuntos ofrece un enfoque intuitivo que evoluciona a formulaciones más rigurosas, al igual que el enfoque de Suppes en lógica.