Histoire des mathématiques Concept

interprétation de Brouwer-Heyting-Kolmogorov

Concept

théorie en logique mathématique

Liens

porte le nom de

Sources