Introduction to Logic
Tools
for
Thought
Propositional Hilbert Proofs
Premises
Goal
Exercise