TY  - BOOK
AU  - Lorenzen, Paul
TI  - METAMETHEMATIK
U1  - 501 
PY  - 1962///
CY  - Mannheim
PB  - Bibliographisches Institut
KW  - Metamathematics
ER  -