**Logic for Computer Science**

**Publisher**: Wikibooks 2010

**Description**:

This book discusses logic as a tool for computer science; a field that uses logic at all levels. It provides a survey of mathematical logic and its various applications. After covering basic material of propositional logic and first-order logic, the course presents the foundations of finite model theory and descriptive complexity.

Download or read it online for free here:

**Read online**

(online html)

## Similar books

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

(

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

(

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

(

**12263**views)

**A Concise Introduction to Mathematical Logic**

by

**Wolfgang Rautenberg**-

**Springer**

A well-written introduction to the beautiful and coherent subject. 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.

(

**8186**views)