Arend HEYTING

• Dates : 1898 - 1980
• Fonction : Mathématicien et logicien

Documents :

Monographie

Mathematische Grundlagenforschung, Intuitionismus, Beweistheorie

Arend HEYTING

Springer - 1934

Monographie

Les Fondements des mathématiques : Intuitionnisme, théorie de la démonstration

Arend HEYTING

Gauthier-Villars - 1955