Einführung in die mathematische Logik - Flum, Joerg (1978)