Open main menu
Logic for Computer Scientists
Table of Contents
Preface
Introduction
Induction
Propositional Logic
Predicate Logic
Modal Logic
Authors
Uli Furbach
Last edited on 21 September 2010, at 20:01