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

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

(

**7038**views)

**Introduction to Mathematical Logic: A problem solving course**

by

**Arnold W. Miller**-

**arXiv**

This is a set of questions written for a course in Mathematical Logic. Topics covered are: propositional logic; axioms of ZFC; wellorderings and equivalents of AC; ordinal and cardinal arithmetic; first order logic, and the compactness theorem; etc.

(

**8083**views)

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

(

**10424**views)

**Natural Topology**

by

**Frank Waaldijk**-

**arXiv**

We give a theoretical and applicable framework for dealing with real-world phenomena. Joining pointwise and pointfree notions in BISH, natural topology gives a faithful idea of important concepts and results in intuitionism.

(

**3949**views)