Disambiguation evidence for Gentzen-style proof systems via surface form
"natural deduction calculus"
Triples (1)
Triples where some other subject referred to this entity
as "natural deduction calculus".
Untersuchungen über das logische Schließen
→
introduced
→
"natural deduction calculus"
ⓘ
↳ resolves to Gentzen-style proof systems