75% developed

Logic for Computer Scientists

From Wikibooks, open books for an open world
Jump to navigation Jump to search
A Wikibookian suggests that this book or chapter be merged into Logic for Computer Science.
Please discuss whether or not this merge should happen on the discussion page.
ComputerScienceLogic.png

Table of Contents

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

Authors

  • Uli Furbach
Retrieved from "https://en.wikibooks.org/w/index.php?title=Logic_for_Computer_Scientists&oldid=4045330"