CSCI 2400
Fall 2020
Notes
All notes in a single document
Propositional logic
First-order logic
Theorems and proofs
Sets