Suppes, Patrick

Introducción a la lógica matemática / Patrick Suppes y Shirley Hill - Barcelona : Edit. Reverté, 1980 - ix, 283 p. : il. ; 22 cm.

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

84-291-5150-8


Lógica matemática

511.3/ / S94