TY  - BOOK
AU  - Suppes, Patrick
AU  - Hill, Shirley
TI  - Introducción a la Lógica Matemática
SN  - 978-84-291-5150-3
PY  - 2008///
CY  - Barcelona, España
PB  - Editorial Reverté
N1  - Simbolización de proposiciones -- Inferencia lógica -- Certez y validez -- Tablas de certeza -- Terminos,predicados y cuantificadores universales -- Especificación universal y leyes de identidad -- Un sistema matematico simple:axiomas de adición --- Generalización universal
ER  -