X-2025-01: Arend Heyting La Conception Intuitionniste de la Logique 1.Full Text, 2.English translation, 3.Notes. < Back