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