Zofia Adamowicz & Pawel Zbierski: Logic of Mathematics
A thorough, accessible, and rigorous presentation of the central theorems of mathematical logic . . . ideal for advanced students of mathematics, computer science, and logic Logic of Mathematics comb …