Les Fondements des mathématiques : Intuitionnisme, théorie de la démonstration

Arend HEYTING

Gauthier-Villars - 1955