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