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