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


Activities

Research facilities