The topics of metamathematics and Gödel's Theorems are introduced in this book. It covers second-order logic, lambda calculus, models of arithmetic, the first and second incompleteness theorems, recursive function theory, and arithmetization of grammar. It may be...