Primer curso de logica matemática /
Patrick Suppes, Shirley Hill.
- Mexico : Reverte Ediciones, 2010.
- 278 p.
Simbolizacion de proposiciones.--Inferencia logica.--Certeza y validez.--Tablas de certeza.--Terminos, predicados y cuantificaciones universales.--Especificacion universal y leyes de identidad.--Un sistema matemático simple: axiomas de la adicion.--Generalizacion universal