Metamathematik - Lorenzen, Paul, 1915-1994 (B.I.-Hochschultaschenbucher ;, 1962)