Suppes, Patrick.

Introducción a la lógica matemática / Patrick Suppes ; Shirley Hill ; versión española por Enrique Linés Escardó. - Bogotá : Editorial Reverté, 1992. - 283 p.

Incluye índice. Título original. : First course in mathematical logic.

Simbolización de proposiciones.--Inferencia lógica.--Tablas de certeza.--Terminos, predicados y cuantificadores universales.--Un sistema matemático simple axiomas de la adición.--Lógica matemática

8429151508


Matemáticas--Problemas, ejercicios, etc.
Lógica simbólica y matemática.

511.3 / S87p