product iamge

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

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Download
Search on Amazon

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

Author(s): George Tourlakis
Publisher: Cambridge University Press
Year: 2003

Language: English
Commentary: More best quality: original cover of retail edition.

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