Media type: Book Title: Metamathematik Contributor: Lorenzen, Paul [Author] Published: Mannheim: Bibliogr. Inst., 1962 Published in: BI-Hochschultaschenbücher ; 25 Extent: 167 S. Language: German RVK notation: QH 120 : Grundlagenforschung CI 3818 : Primärliteratur SK 130 : Logik und Grundlagen, Metamathematik, CC 2600 : Abhandlungen zur Logik und mathematischen Grundlagenforschung Keywords: Mathematische Logik Metamathematik Mathematik > Theorie Metamathematik Metamathematik Origination: Footnote: Literaturverz. S. [165] - 167