Symbols
- ¬ "not" (negation)
- ∧ "and" (conjunction)
- ∨ "or" (disjunction)
- ∀ "for all" (universal quantifier)
- ∃ "for some", or "there exists" (existential quantifier)
Tutorials
- The Very Short Teach Yourself Logic Guide
- Formal Logic Undressed: The Director's Cut by Paul Snively
- Formal Logic Undressed by Paul Snively
History
- The Laws of Thought (1854) by George Boole
- Begriffsschrift (1879) by Gottlob Frege
- The Foundations of Arithmetic (1884) by Gottlob Frege
- by Whitehead and Russell
- by Church
- Curry and Feys
- Howard
- Girard
- Martin-Lof