This is a remarkable book, both in terms of the considerable material that it covers and the “user friendliness” with which it is presented ... The way the book is conceived, it seems particularly well suited for small study groups or tutorial sessions in which students first study a particular section on their own, do the exercises, and then seek clarification and help from the instructor. The book would also be welcomed by experienced mathematicians who are interested simply in a quick initiation to some specific topics, such as forcing, non-standard analysis or constructive mathematics, without having to go through an extensive treatment. All told, the author ought to be commended for having written such a clear and carefully crafted introduction to the whole field of mathematical logic.