Mikhail Katz A Leibniz:NSA Comparison
25:49
Nick Smith Proving Oneself
23:55
Jonte Deakin Weak and Strong Bi Intuitionistic Logics from an Abstract Algebraic Logic Perspective
34:44
Fernando Cano Jorge Inconsistent Sets and How to Compute Them
19:43
Alberto Paparella Reasoning with Many Valued Interval Temporal Logic
1:16:46
89. The day of Jacob's death - Part 3 (Dec-29-2024)
12:26
Cédric Villani on Joseph Fourier’s ‘mathematical poem’ • RFI English
22:59
Le paradoxe du dôme : une faille dans les lois de Newton
29:28