Syllabus
Logic and Proof
The Nature of Negation
Direct and Indirect Proofs
The Universe and Existence