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

(

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

(

**7184**views)

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

(

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

(

**6846**views)