75% developed

Logic for Computer Scientists

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

Table of Contents

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

Authors

  • Uli Furbach