Aree – Mathematical logic and foundations

  1. Home
  2. Ricerca
  3. Aree di ricerca
  4. Mathematical logic and foundations

Mathematical logic and foundations   aderente allo standard  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

Attività

Aree di ricerca

Gruppi di ricerca

Dottorati di Ricerca

Strutture

Condividi