Introducción a la lógica matemática /
Patrick Suppes, Shirley A. Hill
- Barcelona: Reverté, 2006
- ix, 281 p.: il.; 21 cm.
Índice: p. 279-281.
Simbolización de proporciones. -- 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.
9789686708011
Lógica matemática Lógica matemática --Estudio y enseñanza