Suppes, Patrick
Primer curso de lógica matemática
- 1a ed.
- Barcelona : Reverté, 2010
- ix, 278 p. ; 22 cm.
Incluye índice.
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
9788429151503
DIF-M6368
LÓGICA MATEMÁTICA