TY  - BOOK
AU  - Suppes,Patrick
AU  - Hill,Shirley
AU  - Linés Escardo,Enrique
TI  - Primer curso de lógica matemática / 
SN  - 8429151508 
U1  - 511.3 21
PY  - 1976///
CY  - Barcelona : 
PB  - Reverté, S.A., 
KW  - Lógica simbólica y matemática
KW  - LEMB
N1  - Incluye índice de materias en las páginas 279; 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

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  -