Who is this book for? Roughly speaking, for those who want a lot more fine detail than you get in books for a more general audience (the best of those is Franz´en 2005), but who find the rather stern style of classic texts in mathematical logic (like Mendelson 1997) daunting and too short on explanatory scene-setting. So I hope philosophy students taking an advanced logic course will find the book useful, as will mathematicians who want a more accessible exposition.