Open main menu
Edit
Logic for Computer Scientists
Table of Contents
Preface
Introduction
Induction
Propositional Logic
Predicate Logic
Modal Logic
Authors
Uli Furbach