Logic for Computer Scientists

Table of Contents

 * 1) /Preface/
 * 2) /Introduction/
 * 3) /Induction/
 * 4) /Propositional Logic/
 * 5) /Predicate Logic/
 * 6) /Modal Logic/

Authors

 * Uli Furbach