How to Read Logic
21:19
What are these symbols? - Numberphile
28:47
A Poor Imitation: The Real Alan Turing w/ James Grime
30:17
This Is the Calculus They Won't Teach You
29:38
Sherlock Holmes NEVER 'Deduced' Anything
22:06
Proof Symbols Used in Math
26:10
Logic 7 - First Order Logic | Stanford CS221: AI (Autumn 2021)
53:48
Propositional Logic: The Complete Crash Course
21:39