**A Concise Introduction to Mathematical Logic**

by Wolfgang Rautenberg

**Publisher**: Springer 2009**ISBN/ASIN**: 1441912207**ISBN-13**: 9781441912206**Number of pages**: 131

**Description**:

The textbook by Professor Wolfgang Rautenberg is a well-written introduction to the beautiful and coherent subject of mathematical logic. It contains classical material such as logical calculi, beginnings of model theory, and Goedel's incompleteness theorems, as well as some topics motivated by applications, such as a chapter on logic programming.

Download or read it online for free here:

**Download link**

(1.5MB, PDF)

## Similar books

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

(

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

(

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

(

**7520**views)

**Symbolic Logic: A Second Course**

by

**Gary Hardegree**-

**UMass Amherst**

Contents: Summary; Translations in Function Logic; Derivations in Function Logic; Translations in Identity Logic; Extra Material on Identity Logic; Derivations in Identity Logic; Translations in Description Logic; Derivations in Description Logic.

(

**7480**views)