Undecidable problems of elementary number theory
- 1 April 1958
- journal article
- Published by Springer Nature in Mathematische Annalen
- Vol. 135 (2) , 160-169
- https://doi.org/10.1007/bf01343100
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Completeness in the theory of typesThe Journal of Symbolic Logic, 1950
- The completeness of the first-order functional calculusThe Journal of Symbolic Logic, 1949
- Über die Nicht-charakterisierbarkeit der Zahlenreihe mittels endlich oder abzählbar unendlich vieler Aussagen mit ausschliesslich ZahlenvariablenFundamenta Mathematicae, 1934
- Die Vollständigkeit der Axiome des logischen FunktionenkalkülsMonatshefte für Mathematik, 1930