Grundzüge der mathematischen Logik - Hasenjaeger, Gisbert (1961)