Professor Wolfgang Rautenberg's textbook serves as an excellent introduction to the fascinating and well-organized field of mathematical logic. Classical topics like logical calculi, the origins of model theory, and Goedel's incompleteness theorems are included, along with certain topics driven by practical considerations, such as a chapter on logic programming.

This is essentially the English translation of the third German edition of Einleitung in die Mathematische Logik: A Textbook. of this excellent textbook, Wiesbaden: Vieweg+Teubner (2008; Zb1 1152.03-002). The book is still one of the best for computer scientists as well as mathematicians looking for an introduction to mathematical logic.

This book presents the most crucial information in an organized and condensed manner. The previous edition has been extensively revised and enlarged in the third edition. Although the book is meant to be used as graduate material, students who are interested in mathematical logic can simply study the first three chapters.