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
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