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

by

**Vilnis Detlovs, Karlis Podnieks**-

**University of Latvia**

From the table of contents: 1. Introduction. What Is Logic, Really?; 2. Propositional Logic; 3. Predicate Logic; 4. Completeness Theorems (Model Theory); 5. Normal Forms. Resolution Method; 6. Miscellaneous (Negation as Contradiction or Absurdity).

(

**4626**views)

**Lectures on Linear Logic**

by

**A. S. Troelstra**-

**CSLI**

This text deals with logical formalism, cut-elimination, the embedding of intuitionistic logic in classical linear logic, proofnets for the multiplicative fragment and the algorithmic interpretation of cut-elimination in proofnets.

(

**7038**views)

**Introduction to Mathematical Philosophy**

by

**Bertrand Russell**-

**University of Massachusetts Amherst**

A very accessible mathematical classic. It sets forth in elementary form the logical definition of number, the analysis of the notion of order, the modern doctrine of the infinite, and the theory of descriptions and classes as symbolic fictions.

(

**9330**views)

**Predicative Arithmetic**

by

**Edward Nelson**-

**Princeton Univ Pr**

The book based on lecture notes of a course given at Princeton University in 1980. From the contents: the impredicativity of induction, the axioms of arithmetic, order, induction by relativization, the bounded least number principle, and more.

(

**11869**views)