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