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
    75% developed
Retrieved from "http://en.wikibooks.org/w/index.php?title=Logic_for_Computer_Scientists&oldid=1937725"