Primero curso de lógica matemática
Patrick, Suppes
- 1 Ed
- Bogotá. D. C. EDITORIAL REVERTE, S. A 1988
- 288 pp
Capítulo 1. Simbolización de proposiciones.// Capítulo 2. Interferencia lógica./7 Capítulo 3. Certeza y validez.// Capítulo 4. Tablas de certeza.// Capítulo 5. Términos, predicados y cuantificadores universales .// Capítulo 6. Especificación universal y leyes de identidad.// Capítulo 7. Un sistema matemático simple: Axiomas de la adición.// Capítulo 8. Generalización universal.//