@book{eft_92,
  author	= {Ebbinghaus, Heinz-Dieter and Flum, Jörg and Thomas, Wolfgang},
  title		= {Einführung in die mathematische Logik},
  publisher	= {B.I.-Wissenschaftsverlag},
  year		= {1992},
  edition	= {3rd}
}