Areas – Mathematical logic and foundations

  1. Home
  2. Research
  3. Research areas
  4. Mathematical logic and foundations

Mathematical logic and foundations   standard compliant  MSC

-
Il programma di Hilbert per la matematica astratta - Teoria dei tipi e teoria delle categorie - Teoria della dimostrazione e matematica costruttiva
General logic
Teoria delle dimostrazioni, logica lineare e teoria dei tipi

Activities

Research areas

Research groups

PhD Programmes

Research facilities

Share