03F03 Proof theory, general

MSC > 03Fxx Proof theory and constructive mathematics > 03F03 Proof theory, general

Videos linked to 03F03 Proof theory, general

01:48:02

published on March 17, 2025

Topics in Nonlinear Functional Analysis (1/4)

By Saeidi Shahram

01:48:02

published on March 17, 2025

Topics in Nonlinear Functional Analysis (2/4)

By Saeidi Shahram

02:14:44

published on March 17, 2025

Topics in Nonlinear Functional Analysis (3/4)

By Saeidi Shahram

01:57:19

published on March 17, 2025

Topics in Nonlinear Functional Analysis (4/4)

By Saeidi Shahram

46:40

published on May 15, 2023

From axioms to synthetic inference rules via focusing

By Dale Miller

01:44:57

published on February 14, 2022

Deux ou trois choses que je sais d'elle : la logique

By Jean-Yves Girard

28:43

published on February 14, 2022

Focused proof systems

By Dale Miller

More +

Copyright Carmin.tv 2025

Give feedback