Areas – Mathematical logic and foundations

Mathematical logic and foundations   standard compliant  MSC

-
Il programma di Hilbert per la matematica astratta - Teoria della dimostrazione e matematica costruttiva
General logic
proof theory, Linear logic, Type theory


Activities

Research facilities

Share