Axioms in logic
11:39
How to understand Sequent Calculus
30:38
Wittgenstein's Private Language Argument
27:57
Gödel's Argument for God
16:43
The 379 page proof that 1+1=2
16:37
How to Think Logically
21:19
Wittgenstein and the Rule Following Paradox
36:07
Truthmaker Semantics
29:06