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