Primer curso de lógica matemática
Suppes, Patrick., Hill, Shirley
Primer curso de lógica matemática - Primera Edición - España - Barcelona ,Editorial Reverté, S:a: .1976 - 283 páginas ejercicios 21 cms.
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. Unsistema matemático simple axiomas de la adición. Generalización universal.
En español
84-291-5150-8
Introducción a la lógica matemática
511.3 / S959
Primer curso de lógica matemática - Primera Edición - España - Barcelona ,Editorial Reverté, S:a: .1976 - 283 páginas ejercicios 21 cms.
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. Unsistema matemático simple axiomas de la adición. Generalización universal.
En español
84-291-5150-8
Introducción a la lógica matemática
511.3 / S959