Welcome to E-Books Directory
This is a freely downloadable e-book.
Logic for Computer Science
Read this book online or download it here for free
Custom Search
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.