I would recommend A Friendly Introduction to Mathematical Logic by Christopher Leary. It covers all the important things up to the Incompleteness Theorem, and really is Friendly.
(I have heard rumours that it's out of print, though.)
|
1 | [made Community Wiki] | ||
|
|
||||
