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 for free here:
by Stefan Bilaniuk
An introduction to mathematical logic for undergraduates. It supplies definitions, statements of results, and problems, along with some explanations, examples, and hints. The idea is to learn the material by solving the problems.
by Nuel Belnap - University of Pittsburgh
Contents: Grammar; The art of the logic of truth-functional connectives; Quantifier proofs; A modicum of set theory; Symbolizing English quantifiers; Quantifier semantics - interpretation and counterexample; Theories; Definitions.
by Wolfram Pohlers, Thomas Glass
This text treats pure logic and in this connection introduces to basic proof-theoretic techniques. Fundamentals of model theory and those of recursion theory are dealt with. Furthermore, some extensions of first order logic are treated.
by P.D. Magnus
An introduction to sentential logic and first-order predicate logic with identity, logical systems that influenced twentieth-century analytic philosophy. The book should help students understand quantified expressions in their philosophical reading.