Resolution and the Origins of Structural Reasoning: Early Proof-Theoretic Ideas of Hertz and Gentzen

From MaRDI portal
Publication:3149962

DOI10.2307/2693965zbMath1005.03004OpenAlexW4249736578MaRDI QIDQ3149962

Peter Schroeder-Heister

Publication date: 23 February 2003

Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: http://www.math.ucla.edu/~asl/bsl/0802-toc.htm




Related Items (15)







This page was built for publication: Resolution and the Origins of Structural Reasoning: Early Proof-Theoretic Ideas of Hertz and Gentzen