Nearly everything you will find in this repository was done by students during winter semester 2013 (see the Authors information in the lecture notes for details). During winter semester 2014 I ...

Nearly everything you will find in this repository was done by students during winter semester 2013 (see the Authors information in the lecture notes for details). During winter semester 2014 I ...

Introduction, Statements, and Notation, Connectives, Well-formed formulas, Tautology, Duality law, Equivalence, Implication, Normal Forms, Functionally complete set ...

remove-circle Internet Archive's in-browser bookreader "theater" requires JavaScript to be enabled. It appears your browser does not have it turned on. Please see ...