Suppes, Patrick

Primer curso de lógica matemática / Patrick Suppes y Shirley Hill - Barcelona : Edit. Reverté, 1976 - ix, 283 p. : il. ; 22 cm.

"Introducción a la lógica matemática"--cubierta

Simbolización de proposiciones - Inferencia lógica - Certeza y validez - Tablas de certeza - Términos, predicados y cuantificadores universales - Especificación universal y leyes de identidad - Un sistema matemático simple axiomas de la adición - Generalización universal

84-291-5150-8


Lógica matemática

511.3/ / S94P