๐”– Scriptorium
โœฆ   LIBER   โœฆ
๐Ÿ“

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

โœ Scribed by George Tourlakis

Publisher
Cambridge University Press
Year
2003
Tongue
English
Leaves
342
Category
Library
โฌ‡  Acquire This Volume

No coin nor oath required. For personal study only.

โœฆ Table of Contents

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 VOLUMES

Lectures in Logic and Set Theory. Volume
๐Ÿ“ Lectures in Logic and Set Theory. Volume 1: Mathematical Logic
โœ George Tourlakis ๐Ÿ“‚ Library ๐Ÿ“… 2003 ๐Ÿ› Cambridge University Press ๐ŸŒ English

This two-volume work bridges the gap between introductory expositions of logic (or set theory) and the research literature. It can be used as a text in an advanced undergraduate or beginning graduate course in mathematics, computer science, or philosophy. The volumes are written in a user-friendly