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