Mathematische Logik - Reyersbach, Walter