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.

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"