A VARIANT TO HILBERT'S THEORY OF THE FOUNDATIONS OF ARITHMETIC
- 1 August 1953
- journal article
- Published by University of Chicago Press in The British Journal for the Philosophy of Science
- Vol. 4 (14) , 107-129
- https://doi.org/10.1093/bjps/iv.14.107
Abstract
No abstract availableThis publication has 2 references indexed in Scilit:
- Some concepts concerning formal systems of number theoryMathematische Zeitschrift, 1952
- Algebraische und logistische Untersuchungen über freie VerbändeThe Journal of Symbolic Logic, 1951