ENGLISH

Lectures in Logic and Set Theory. Volume 1: Mathematical Logic

By George Tourlakis

Book information

Publisher
Cambridge University Press
Year
2003
ISBN
9780521753739
Language
english
Format
PDF
Filesize
2 MB (1796375 bytes)
Pages
\342
Time added
2022-01-28 13:11:57

Description

Half-title Series-title Title Copyright Contents Preface I Basic Logic I.1. First Order Languages Logical Symbols Nonlogical Symbols I.2. A Digression into the Metatheory: Informal Induction and Recursion I.3. Axioms and Rules of Inference I.4. Basic Metatheorems I.5. Semantics; Soundness, Completeness, Compactness I.6. Substructures, Diagrams, and Applications I.7. Defined Symbols I.8. Computability and Uncomputability I.9. Arithmetic, Definability, Undefinability, and Incompletableness I.10. Exercises II The Second Incompleteness Theorem II.1. Peano Arithmetic II.2. A Formal Beta-Function II.3. Formal Primitive Recursion II.4. The Boldface Delta and Sigma II.5. Arithmetization II.6. Derivability Conditions; Fixed Points II.7. Exercises Bibliography List of Symbols Index

Similar books