Primer curso de lógica matemática
Suppes, Patrick
Primer curso de lógica matemática Introducción a la lógica matematica - 283 p.
Incluye índice
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
Lógica simbólica y matemática
511.3 S959
Primer curso de lógica matemática Introducción a la lógica matematica - 283 p.
Incluye índice
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
Lógica simbólica y matemática
511.3 S959