Aree – 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


Attività

Strutture