Open main menu
Edit
Logic for Computer Scientists
Table of Contents
Preface
Introduction
Induction
Propositional Logic
Predicate Logic
Modal Logic
Authors
Uli Furbach
Last edited on 12 March 2016, at 16:34