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

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

(

**7869**views)

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

(

**7352**views)

**Notes on the Science of Logic**

by

**Nuel Belnap**-

**University of Pittsburgh**

This course assumes you know how to use truth functions and quantifiers as tools. Our task here is to study these very tools. Contents: logic of truth functional connectives; first order logic of extensional predicates, operators, and quantifiers.

(

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

(

**9387**views)