Cross-Reference Redirection
Cross-Reference Redirection
Table of Contents
1.
World 1: Conjunction
2.
World 2: Implication
3.
World 3: Disjunction
4.
World 4: Falsity and Negation
5.
World 5: Classical Logic
6.
World 6: Equivalence and Truth
7.
World 7: Rewriting
8.
World 8: Quantifiers
9.
World 9: Puzzles
10.
World 10: Induction
Tactic Trainer
Tactic Lexicon
Block Lexicon