Some Facts from the Theory of Proofs and Some Fictions from General Proof Theory
1979 ◽
pp. 3-23
◽
Resolution and the Origins of Structural Reasoning: Early Proof-Theoretic Ideas of Hertz and Gentzen
2002 ◽
Vol 8
(2)
◽
pp. 246-265
◽
Keyword(s):