Logik

Logic for Computer Scientists                                               



Author: Uli Furbach






Table of Contents:
  1. Preface
  2. Introduction
  3. Induction
  4. Propositional Logic
  5. Predicate Logic
  6. Modal Logic