display all the ideas for this combination of texts
1 idea
11022 | Gentzen introduced a natural deduction calculus (NK) in 1934 [Gentzen, by Read] |
Full Idea: Gentzen introduced a natural deduction calculus (NK) in 1934. | |
From: report of Gerhard Gentzen (works [1938]) by Stephen Read - Thinking About Logic Ch.8 |