@book{eft:92, author = {Ebbinghaus, Heinz-Dieter and Flum, J{\"o}rg and Thomas, Wolfgang}, title = {Einf{\"u}hrung in die mathematische Logik}, publisher = {B.I.-Wissenschaftsverlag}, year = {1992}, edition = {3rd} }