Peter Schroeder-Heister. Resolution and the origins of structural reasoning: early proof-theoretic ideas of Hertz and Gentzen. Bulletin of Symbolic Logic, 8(2):246-265, 2002. [doi]
No references recorded for this publication.
No citations of this publication recorded.