Logic for Computer Scientists

From Wikibooks, the open-content textbooks collection

Author: Uli Furbach

[edit] Table of Contents

1. Preface
2. Introduction
3. Induction
4. Propositional Logic
5. Predicate Logic
6. Modal Logic