10:53

Why TERNARY LOGIC Makes More Sense Than Boolean Logic

19:24

El lenguaje de las categorías | Teoría de categorías y por qué nos importa 1.1

16:49

¿Qué significa realmente "igual"?

12:40

Lambda Calculus - Computerphile

19:25

LISP, "God's programming language"