Open main menu
Edit
Logic for Computer Scientists
The
latest reviewed version
was
checked
on
12 March 2016
. There are
template/file changes
awaiting review.
Table of Contents
Preface
Introduction
Induction
Propositional Logic
Predicate Logic
Modal Logic
Authors
Uli Furbach