TY  - BOOK
AU  - Suppes,Patrick
AU  - Hill,Shirley
AU  - Linés Escardo,Enrique
TI  - Primer curso de lógica matemática
SN  - 8429151508 (1973)
U1  - 511.3 23
PY  - 1973///-2007
CY  - Barcelona
PB  - Reverté
KW  - Lógica simbólica y matemática
KW  - LEMB
N1  - Incluye índice; 1. Simbolización de proposiciones ; 2. Inferencia lógica ; 3. Certeza y validez ; 4. Tablas 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 ; 8. Generalización universal; First course in mathematical logic
N2  - El objetivo de este libro comprende la teoría proposicional de inferencia, inferencia con cuantificadores universales, y aplicaciones de la teoría de la inferencia al desarrollo de la teoría elemental de grupos conmutativos, o la teoría de la adición, que es como se ha desarrollado en el texto
ER  -