Metamathematik - Lorenzen, Paul, 1915-1994 (Bibliographisches Institut, 1962)