411 REFERENCE · Wikibooks
Logic for Computer Scientists
Reference material by Wikibooks contributors. This retains its source identity and is not 411 news reporting.
Logic for Computer Science
center
Table of Contents
/Preface/
/Introduction/
/Induction/
/Propositional Logic/
/Predicate Logic/
/Modal Logic/
Authors
Uli Furbach
L
Mathematical logic
75%
__NOTOC__ __NOEDITSECTION__