TY  - BOOK
AU  - Hamilton, A. G.
TI  - Logic dor mathematicians
U1  - 511.3 
PY  - 1978///
CY  - Cambridge
PB  - Cambridge University
KW  - Problemas
KW  - Ejercicios
KW  - Lógica
N1  - Texto en ingles | Incluye glosario de símbolos  | Incluye índice alfabético de materias; Contiene referencias bibliográficas  en la página 215; Preface -- Formal statement calulus -- 3. Informal predicate calculus-- 4. Formal  predicate calculus -- 5. Mathemtiical systems
ER  -