Introducción a la lógica matemática /
Patrick Suppes
- Madrid, España : Reverté, 1986
- 283 páginas ; 21 cm.
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.