Vista normal Vista MARC Vista ISBD

Anderson, John Mueller,

Natural deduction : the logical basis of axiom systems / John M. Anderson and Henry W. Johnstone, Jr. - 418 páginas

Subjects--Topical Terms:
Matemáticas
Lógica simbólica y matemática

LC Class. No.: BC71 / A53