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

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

(

**10789**views)

**The Haskell Road to Logic, Maths and Programming**

by

**Kees Doets, Jan van Eijck**-

**College Publications**

The purpose of this book is to teach logic and mathematical reasoning in practice, and to connect logical reasoning with computer programming. The programming language that will be our tool for this is Haskell, a member of the Lisp family.

(

**9602**views)

**The Principles Of Mathematics**

by

**Bertrand Russell**-

**W. W. Norton & Company**

Russell's classic sets forth his landmark thesis that mathematics and logic are identical -- that what is called mathematics is simply later deductions from logical premises. His ideas have had a profound influence on the foundations of mathematics.

(

**7263**views)

**Logics of Time and Computation**

by

**Robert Goldblatt**-

**Center for the Study of Language**

Sets out the basic theory of normal modal and temporal propositional logics, applies this theory to logics of discrete, dense, and continuous time, to the temporal logic of henceforth, next, and until, and to the dynamic logic of regular programs.

(

**5689**views)