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