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 della dimostrazione e matematica costruttiva
General logic
proof theory, Linear logic, Type theory

Attività

Strutture

Condividi