Suppes, Patrick.

Primer curso de lógica matemática / Patrick Suppes, Shirley Hill. - Barcelona : Reverté, 1975. - 282 p.

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.


LOGICA MATEMATICA

517.1