@book{bakker,
  author = {J.~W.~de~Bakker},
  title = {Mathematical Theory of Program Correctness},
  publisher = {Prentice-Hall}, 
  year = 1980}

@book{boerger,
  author = {E.~B\"orger}, 
  title = {Berechenbarkeit, Komplexit\"at, Logik},
  publisher = {Vieweg},
  year = 1985}

@book{ebbinghaus,
  AUTHOR = {Heinz-Dieter~Ebbinghaus and J\"org~Flum and Wolfgang~Thomas},
  TITLE = {Einführung in die mathematische Logik},
  PUBLISHER = {Spektrum},
  ADDRESS = {Heidelberg},
  YEAR = 1996}

@book{enderton,
  author = {H.~B.~Enderton},
  title = {A Mathematical Introduction to Logic},
  publisher = {Academic Press},
  year = 1972}

@book{gallier,
  AUTHOR = {Jean~H.~Gallier},
  TITLE = {Logic for Computer Science},
  PUBLISHER = {Harper \& Row},
  ADDRESS = {New York},
  YEAR = 1986}

@book{heinemann,
  AUTHOR = {B.~Heinemann and K.~Weihrauch},
  TITLE = {Logik f\"ur Informatiker},
  PUBLISHER = {Teubner},
  ADDRESS = {Stuttgart},
  YEAR = 1991}

@book{kreowski,
  AUTHOR = {H.-J.~Kreowski},
  TITLE = {Logische Grundlagen der Informatik},
  PUBLISHER = {Oldenbourg},
  ADDRESS = {M\"unchen},
  YEAR = 1991}

@book{loecks,
  author = {J.~Loecks and K.~Sieber},
  title = {The Foundations of Program Verification},
  publisher = {B. G. Teubner}, 
  year = 1984}

@book{manna,
  author = {Z.~Manna},
  title = {Mathematical Theory of Computation}, 
  publisher = {McGraw-Hill}, 
  year = 1974}

@book{nissanke,
  AUTHOR = {Nimal~Nissanke},
  TITLE = {Introductory Logic and Sets for Computer Scientists},
  PUBLISHER = {Addison-Weslay},
  ADDRESS = {Harlow},
  YEAR = 1999}

@book{schoening,
  AUTHOR = {Uwe~Sch\"oning},
  TITLE = {Logik f\"ur Informatiker},
  PUBLISHER = {Wissenschaftsverlag},
  ADDRESS = {Mannheim},
  SERIES = {Reihe Informatik},
  NUMBER = {56},
  YEAR = 1989}

@book{smullyan,
  author = {R.~M.~Smullyan},
  title = {First-Order Logic}, 
  publisher = {Springer}, 
  year = 1968}

@book{sperschneider,
  AUTHOR = {V.~Sperschneider and G.~Antoniou},
  TITLE = {Logic: a foundation for computer science},
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Wokingham},
  YEAR = 1991}

@book{yasuhara,
  author = {A.~Yasuhara},
  title = {Recursive Function Theory Logic}, 
  publisher = {Academic Press}, 
  year = 1971}