**What is Mathematics: Gödel's Theorem and Around**

by Karlis Podnieks

**Publisher**: University of Latvia 2013**Number of pages**: 239

**Description**:

Hyper-textbook for students in mathematical logic and foundations of mathematics. Contents: Platonism, intuition and the nature of mathematics; Axiomatic Set Theory; First Order Arithmetic; Hilbert's Tenth Problem; Incompleteness Theorems; Around Goedel's Theorem.

Download or read it online for free here:

**Download link**

(1.2MB, PDF)

## Similar books

**Symbolic Logic: A First Course**

by

**Gary Hardegree**-

**Mcgraw-Hill College**

Contents: Basic Concepts of Logic; Truth-Functional Connectives; Validity in Sentential Logic; Translations in Sentential Logic; Derivations in Sentential Logic; Translations in Monadic Predicate Logic; Translations in Polyadic Predicate Logic; etc.

(

**8484**views)

**The Art of Logic**

by

**Nuel Belnap**-

**University of Pittsburgh**

Contents: Grammar; The art of the logic of truth-functional connectives; Quantifier proofs; A modicum of set theory; Symbolizing English quantifiers; Quantifier semantics - interpretation and counterexample; Theories; Definitions.

(

**7915**views)

**An Introduction to Mathematical Logic**

by

**Wolfram Pohlers, Thomas Glass**

This text treats pure logic and in this connection introduces to basic proof-theoretic techniques. Fundamentals of model theory and those of recursion theory are dealt with. Furthermore, some extensions of first order logic are treated.

(

**7894**views)

**Notes on the Science of Logic**

by

**Nuel Belnap**-

**University of Pittsburgh**

This course assumes you know how to use truth functions and quantifiers as tools. Our task here is to study these very tools. Contents: logic of truth functional connectives; first order logic of extensional predicates, operators, and quantifiers.

(

**6399**views)