Hamilton, A. G.
Logic dor mathematicians
A.G. Hamilton
- 1a.ed.
- Cambridge Cambridge University 1978
- 243 p. Gráficos 21 cm
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
Problemas--Ejercicios
Lógica
511.3 / H1