TY  - BOOK
AU  - Lorenzen Paul
TI  - Metamathematik
U1  - 511.3=3 
PY  - 1962///
CY  - Mannheim
PB  - Bibliographisches Institute
KW  - Mathematical logic
ER  -