Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. Scott, D.S.: Extending the topological interpretation to intuistionistic analysis. Compos. Math. 20, 194–210 (1968)
2. Scott, D.S.: Extending the topological interpretation to intuitionistic analysis, II. In: Kino, A., Myhill, J., Vesley, R.E. (eds.) Intuitionism and Proof Theory: Proc. Buffalo, N.Y., 1968. Stud. Logic Found. Math., vol. 60, pp. 235–255. Elsevier B.V. (1970) ISBN: 978-0-7204-2257-3
3. Fourman, M.P.: Continuous truth. Abstr. Amer. Math. Soc. (1981) (abstract) 81-T-03-135
4. Fourman, M.P.: A model for the theory of choice sequences (CS). Abstr. Amer. Math. Soc., 183 (1982) (abstract) 82-T-03-80
5. Fourman, M.P.: Notions of choice sequence. In: [25], pp. 91–105
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献