Les fondements des mathématiques intuitionnisme théorie de la démonstration - Heyting, Arend (Gauthier-Villars, Paris, 1955)