What Is Mathematical Logic?

Mathematical logic has grown from an exotic branch of mathematics into an indispensable tool in computer science as well as other parts of mathematics. This concise book presents the subject of mathematical logic in a lively and approachable fashion although logic can be a formidably abstruse topic, even for mathematicians. This second edition of What is Mathematical Logic?, originally published...