Metamathematik - Lorenzen, Paul (B.I. Hochschultaschenbücher, 1962)