Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
- 1 December 1931
- journal article
- Published by Springer Nature in Monatshefte für Mathematik
- Vol. 38-38 (1) , 173-198
- https://doi.org/10.1007/bf01700692
Abstract
No abstract availableThis publication has 1 reference indexed in Scilit:
- Zur Hilbertschen BeweistheorieMathematische Zeitschrift, 1927