Les fondements des mathématiques : intuitionnisme, théorie de la démonstration / [Traduction par Mme P. Fevrier].