22:59

O Paradoxo da Cúpula: Uma Brecha nas Leis de Newton

24:57

Ordinals

9:44

Como é realmente o pensamento matemático?

24:49

The Completeness Theorem

11:18

Graphentheorie Grundlagen: Wege, Pfade und Picassos Ein-Linien-Zeichnungen

22:22

Ultraproducts

24:31

Types

19:31

Model theory: counting models