Jump to content

Logic for Computer Scientists

Add links
75% developed
From Wikibooks, open books for an open world
 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"