11:48Logic tutorial: how to use proof trees | Attic PhilosophyAttic Philosophy24.8K viewsView & Download
15:36How to build Counter-Models from Proof Trees | First-Order Logic | Attic PhilosophyAttic Philosophy4.1K viewsView & Download
6:55The Tree-Path Bijection: Ordered Trees and 2-Motzkin Paths2ndChanceMathematics9 viewsView & Download
13:10Geometry - Inductive Reasoning, Conjecture, and Counterexamplesiteachalgebra13.6K viewsView & Download