Introducción a la Lógica Matemática
- 1a ed.
- Barcelona, España Editorial Reverté 2008
- 278 16 cm
Simbolización de proposiciones -- Inferencia lógica -- Certez y validez -- Tablas de certeza -- Terminos,predicados y cuantificadores universales -- Especificación universal y leyes de identidad -- Un sistema matematico simple:axiomas de adición --- Generalización universal.