Prezadxs colegas,
Alguém teria esses textos do Heyting?
Abraço
Abilio
1.
Heyting, A. 1958a. ‘On truth in mathematics’, Verlag van de plechtige viering van het honderdvijftigjarig
bestaan der Koninklijke Nederlandse Akademie van Wetenschappen met de teksten der bij die
gelegenheit gehouden redevoeringen en voorgedrachte, Amsterdam: North-Holland, 1958, pp. 277–
279.
2.
Heyting, A. 1958b. ‘Intuitionism in mathematics’, in R. Klibansky, ed., Philosophy in the mid-century. A
survey, Firenze: La Nuova Italia, pp. 101–115.
3.
Heyting, A. 1959. ‘Some remarks on intuitionism’, in Constructivity in Mathematics, Amsterdam: NorthHolland, pp. 69–71.