Logic for Computer Scientists

From Wikibooks, open books for an open world
Jump to: navigation, search
ComputerScienceLogic.png

Table of Contents

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

Authors

  • Uli Furbach