4:33

STRICT CONDITIONALS ⟨10,04⟩—optional

20:17

How to Prove Completeness | Logic tutorial | Attic Philosophy

24:49

The Completeness Theorem

9:57

Soundness and Completeness Tutorial | Attic Philosophy

12:21

What's a Tensor?

9:42

I was asked to keep this confidential

7:19

Translating Not Both vs Both Not and Either Not vs Neither

21:51

Automated Theorem Proving and Axiomatic Mathematics