Open main menu
Last modified on 21 September 2010, at 20:01

Logic for Computer Scientists

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