**An Introduction to Mathematical Logic**

by Wolfram Pohlers, Thomas Glass

1992**Number of pages**: 229

**Description**:

This text treats pure logic and in this connection introduces to basic proof-theoretic techniques. In the second part fundamentals of model theory and in the third part those of recursion theory are dealt with. Furthermore, some extensions of first order logic are treated. Finally, axiom systems for number theory are introduced and Godel's theorems are proved.

*This document is no more available for free.*

## Similar books

**Logic For Everyone**

by

**Robert A. Herrmann**

This is Robert Herrmann's elementary book in mathematical logic that includes all basic material in the predicate and propositional calculus presented in a unique manner. Neither proof requires specialized mathematical procedures.

(

**12509**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.

(

**9168**views)

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

by

**Karlis Podnieks**-

**University of Latvia**

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; Godel's Theorem.

(

**3724**views)

**Algebraic Logic**

by

**H. Andreka, I. Nemeti, I. Sain**

Part I of the book studies algebras which are relevant to logic. Part II deals with the methodology of solving logic problems by (i) translating them to algebra, (ii) solving the algebraic problem, and (iii) translating the result back to logic.

(

**13085**views)