Suppes, Patrick

Primer curso de lógica matemática / First course in mathematical logic. Patrick Suppes ; Shirley Hill. - México, D.F. : Reverté, 2009 - ix, 284 p.

Incluye índice alfabético

Simbolización de proposiciones -- Inferencia lógica -- Certeza y validez -- Tablas de certeza -- Términos, predicados y cuantificadores universales -- Especificación universal y leyes de identidad -- Un sistema matemático simple: axiomas de la adición -- Generalización universal.


Lógica
Matemáticas

511.3 / S 976