Primer curso de lógica matemática /
First course in mathematical logic.
Patrick Suppes ; Shirley Hill.
- México, D.F. : Reverté, 2009
- ix, 284 p.
Incluye índice alfabético
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.