A concise introduction to mathematical logic (Q5902234)

This is essentially the English translation of the third edition of the German version [Einführung in die mathematische Logik. Ein Lehrbuch. Wiesbaden: Vieweg+Teubner (2008; Zbl 1152.03002)] of this well-written textbook, and hence a minor extension of the second English edition [New York, NY: Springer (2006; Zbl 1093.03001)]. There are, again, some small extensions of the text, and some reorganization of the division into sections. Hints for the exercises, which had been part of the former editions, are now available from the web pages of the author and the publisher. The book remains one of the most recommendable introductions into mathematical logic for mathematicians, and well-suited for computer scientists too.