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

**Logic for Computer Scientists**

by

**Uli Furbach**-

**Wikibooks**

This book is intended for computer scientists and it assumes only some basic mathematical notions like relations and orderings. The aim was to create an interactive script where logics can be experienced by interaction and experimentation.

(

**6177**views)

**forall x: An Introduction to Formal Logic**

by

**P.D. Magnus**

An introduction to sentential logic and first-order predicate logic with identity, logical systems that influenced twentieth-century analytic philosophy. The book should help students understand quantified expressions in their philosophical reading.

(

**12743**views)

**The Algebra of Logic**

by

**Louis Couturat**-

**Project Gutenberg**

Mathematical Logic is a necessary preliminary to logical Mathematics. The present work is concerned with the 'calculus ratiocinator' aspect, and shows, in an admirably succinct form, the beauty of the calculus of logic regarded as an algebra.

(

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

(

**6738**views)