Grundlagen einer allgemeinen Theorie der mathematischen Satzsysteme
Tom 25 / 1935
Fundamenta Mathematicae 25 (1935), 136-146
DOI: 10.4064/fm-25-1-136-146