Primer curso de lógica matemática - Suppes, Patrick; Hill, Shirley (Barcelona : Reverté, 2010)
Prefacio -- 1. Simbolización de proposiciones -- 2. Inferencia lógica -- 3. Cereteza y validez -- 4. Tablas de certeza -- 5. Términos, predicados y cuantificadores universales -- 6. Especificación universal y leyes de identidad -- 7. Un sistema matemático simple: axiomas de la adición -- 8. Generalización universal -- Índice alfabético
Incluye índice.
Keywords: LÓGICA MATEMÁTICA