Herbrand's Theorem and Gentzen's Notion of a Direct Proof
- 1 January 1977
- book chapter
- Published by Elsevier
Abstract
No abstract availableThis publication has 1 reference indexed in Scilit:
- Finite Definability of Number‐Theoretic Functions and Parametric Completeness of Equational CalculiMathematical Logic Quarterly, 1961