Wikibooks

Logic for Computer Scientists

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"