TY  - MANSCPT
AU  - Suppes,Patrick
AU  - Hill,Shirley
AU  - Linés Escardó,Enrique
TI  - Primer curso de lógica matemática
SN  - 8429151508
U1  - 511.3 21a. ed.
PY  - 1988///
CY  - Santafé de Bogotá
PB  - Reverté
KW  - Lógica Matemática
KW  - Teoría de los Números
KW  - Matematicas
KW  - Teorias
N1  - Cont. 1. Simbolización de proposiciones; 2. Inferencia lógica; 3. Certeza y validéz; 4 Cartas de Certeza; 5 Términos predicados y cuantificadores universales; 6 Especificación universal y leyes de identidad; 7 Un sistema matemático simple: axiomas de la adición; Traducido de: Firts course in matematical
ER  -