The creative subject and Heyting's arithmetic
Volume 9 / 1982
Banach Center Publications 9 (1982), 379-382
DOI: 10.4064/-9-1-379-382