Aree – Mathematical logic and foundations

Mathematical logic and foundations   aderente allo standard  MSC

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


Attività

Strutture