Preface; 1. Basic logic; 2. The second incompleteness theorem; Bibliography; List of symbols; Index.
This two-volume set bridges the gap between introductory texts and the research literature.
Review of the hardback: ' ... stands among the dozen or so books that will remain within easy reach from my desk ... a highly worthwhile addition to the literature.' The Review of Modern Logic
"A thorough and complete resource for "one of the most remarkable theorems of logic." George Tourlakis' Mathematical Logic is a highly worthwhile addition the the literature." Robert Mignone, The Review of Modern Logic