Primer curso de lógica matemática
Introducción a la lógica matematica
Suppes, Patrick
creator
Hill, Shirley
coaut.
Linés Escardó, Enrique
trad.
text
monographic
283 p.
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
Incluye índice
Lógica matemática
Lógica simbólica y matemática
511.3 S959
84-291-5150-8
a000
20210623100123.0
17473