Logic for Computer Scientists

Table of Contents

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

Authors

• Uli Furbach