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.