Literatureintrag/Ebbinghaus Flum Thomas Einführung in die mathematische Logik
Autor=Ebbinghaus, Heinz-Dieter
Autor2=Flum, Jörg
Autor3=Thomas, Wolfgang
Titel=Einführung in die mathematische Logik
Verlag=Wissenschaftliche Buchgesellschaft Darmstadt
Ort=Darmsadt
Erscheinungsjahr=1986
2. Auflage
ISBN=3-534-06354-6