Deducibility and Decidability

R R Rockingham Gill (Author)

Chapter I: The Natural Numbers and their Conventional Ordering II: Addition, Multiplication and Exponentiation III: The Theory of ∑-Forms IV: Effectiveness V: Recursively Defined Predicates VI: The ‘Arithmetization of Syntax’ VII: Diagonalization VIII: Gödel’s Theorems, and their Relatives IX: The Limits of Representability X: The Arithmetical Hierarchy, Envoi