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áticasLógica simbólica y matemática LC Class. No.: BC71 / A53