@article{bwmeta1.element.bwnjournal-article-bcpv9i1p379bwm,
author = {Van Dalen, Dirk},
title = {The creative subject and Heyting's arithmetic},
journal = {Banach Center Publications},
volume = {7},
year = {1982},
pages = {379-382},
zbl = {0518.03025},
language = {en},
url = {http://dml.mathdoc.fr/item/bwmeta1.element.bwnjournal-article-bcpv9i1p379bwm}
}
Van Dalen, Dirk. The creative subject and Heyting's arithmetic. Banach Center Publications, Tome 7 (1982) pp. 379-382. http://gdmltest.u-ga.fr/item/bwmeta1.element.bwnjournal-article-bcpv9i1p379bwm/