Areas – Mathematical logic and foundations

Mathematical logic and foundations   standard compliant  MSC

-
Hilbert's Programme for Abstract Mathematics - Proof theory and constructive mathematics


Activities

Research facilities