Suppes, Patrick 1922-
Primer curso de lógica matemática Introducción a la lógica matemática Patrick Suppes, Shirley Hill ; traducción Enrique Linés Escardó - ix, 278 páginas ilustraciones 21 cm
Incluye índice alfabético.
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 edición -- Generalización universal.
8429151508 9788429151503 9686708014
Logica matematica
Algebra abstracta
Axiomas
511.3 / S959p
Primer curso de lógica matemática Introducción a la lógica matemática Patrick Suppes, Shirley Hill ; traducción Enrique Linés Escardó - ix, 278 páginas ilustraciones 21 cm
Incluye índice alfabético.
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 edición -- Generalización universal.
8429151508 9788429151503 9686708014
Logica matematica
Algebra abstracta
Axiomas
511.3 / S959p