Welcome to E-Books Directory
This is a freely downloadable e-book.

Logic for Computer Science

Logic for Computer Science

Publisher: Wikibooks 2010

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.

Home page url

Download or read it online here:

Read online

 (online html)