TY  - BOOK
T1  - Primer curso de lógica matemática
A1  - Suppes, Patrick
A2  - Hill, Shirley
LA  - Spanish
PP  - Barcelona
PB  - Reverté
YR  - 1975
UL  - http://vufind10-pruebas.sigbunlp.bibliotecas.unlp.edu.ar/Record/dfi.1400
AB  - 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.
OP  - 282
KW  - LOGICA MATEMATICA
ER  -