@article{CM_1968__20__194_0, author = {Scott, Dana}, title = {Extending the topological interpretation to intuitionistic analysis}, journal = {Compositio Mathematica}, pages = {194--210}, publisher = {Wolters-Noordhoff Publishing}, volume = {20}, year = {1968}, mrnumber = {228331}, zbl = {0197.00201}, language = {en}, url = {http://archive.numdam.org/item/CM_1968__20__194_0/} }
Scott, Dana. Extending the topological interpretation to intuitionistic analysis. Compositio Mathematica, Tome 20 (1968), pp. 194-210. http://archive.numdam.org/item/CM_1968__20__194_0/
Foundations of Constructive Analysis, New York, 1967. | MR | Zbl
[1]Intuitionism. An Introduction, Amsterdam, 1956. | MR | Zbl
[2]Foundations of Intuitionistic Mathematics, Amsterdam, 1965. | Zbl
and [3]Mathematical Logic, in Lectures on Mathematics, vol. III, (ed. T. L. Saaty), New York, 1965, pp. 95-195. | MR | Zbl
[4]The Mathematics of Metamathematics, Warsaw, 1963. | MR | Zbl
and [5] [6]