Notes on the intuitionistic theory of sequences (III)
- 1 January 1970
- journal article
- Published by Elsevier in Indagationes Mathematicae
- Vol. 73, 245-252
- https://doi.org/10.1016/s1385-7258(70)80030-0
Abstract
No abstract availableThis publication has 1 reference indexed in Scilit:
- Formal systems for some branches of intuitionistic analysisAnnals of Mathematical Logic, 1970