Einstieg in die mathematische Logik. - Boehme, Gert (Hanser, 1981)