scientific article
From MaRDI portal
Publication:3987173
zbMath0744.03005MaRDI QIDQ3987173
Publication date: 28 June 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
surveynatural deductionQuineGentzenHertzMitchellSuppesCopiExistential InstantiationJáskowskiLeblancrules for quantificationrules of inferencesUniversal Generalization
History of mathematics in the 20th century (01A60) Classical first-order logic (03B10) Mechanization of proofs and logical operations (03B35) Structure of proofs (03F07) History of mathematical logic and foundations (03-03) History of mathematics in the 19th century (01A55)
Related Items (5)
Variable declarations in natural deduction ⋮ Jean van Heijenoort's conception of modern logic, in historical perspective ⋮ Toward a visual proof system: Lewis Carroll's method of trees ⋮ Stanisław Jaśkowski and Natural Deduction Systems ⋮ The calculus of natural calculation
This page was built for publication:
