**A Friendly Introduction to Mathematical Logic**

by Christopher C. Leary, Lars Kristiansen

**Publisher**: Milne Library Publishing 2015**ISBN-13**: 9781942341079**Number of pages**: 380

**Description**:

At the intersection of mathematics, computer science, and philosophy, mathematical logic examines the power and limitations of formal mathematical thinking. In this edition, readers with no previous study in the field are introduced to the basics of model theory, proof theory, and computability theory. The text is designed to be used either in an upper division undergraduate classroom, or for self study.

Download or read it online for free here:

**Download link**

(1.7MB, PDF)

## Similar books

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

(

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

(

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

(

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

(

**9124**views)