TY  - BOOK
AU  - Suppes, Patrick
AU  - Hill, Shirley
AU  - LinÃ©s EscardÃ³, Enrique
TI  - Primer curso de lÃ³gica matemÃ¡tica
SN  - 84-291-5150-8
U1  - 511.3 S959 
PY  - 1988///
CY  - EspaÃ±a
PB  - RevertÃ©
KW  - LÃ³gica matemÃ¡tica
KW  - LÃ³gica simbÃ³lica y matemÃ¡tica
N1  - Incluye Ã­ndice; 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
ER  -