A Normalform in First Order Arithmetic
- 1 January 1971
- book chapter
- Published by Elsevier in Studies in Logic and the Foundations of Mathematics
Abstract
No abstract availableThis publication has 2 references indexed in Scilit:
- Functionals defined by recursion.Notre Dame Journal of Formal Logic, 1967
- Untersuchungen ber das logische Schlie en. IMathematische Zeitschrift, 1935