Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas. Einführung in die mathematische Logik (4. Aufl.). Hochschultaschenbuch, Spektrum Akadem. Verl., 1996.
@book{0012391, title = {Einführung in die mathematische Logik (4. Aufl.)}, author = {Heinz-Dieter Ebbinghaus and Jörg Flum and Wolfgang Thomas}, year = {1996}, researchr = {https://researchr.org/publication/0012391}, cites = {0}, citedby = {0}, series = {Hochschultaschenbuch}, publisher = {Spektrum Akadem. Verl.}, isbn = {978-3-8274-0130-4}, }