Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Rootselaar, B. van
1955.
On the mapping of spreads.
Indagationes Mathematicae (Proceedings),
Vol. 58,
Issue. ,
p.
557.
Rootselaar, B. van
1955.
Generating schemes for full mappings.
Indagationes Mathematicae (Proceedings),
Vol. 58,
Issue. ,
p.
646.
1956.
Intuitionism an Introduction.
Vol. 17,
Issue. ,
p.
123.
Kleene, S.C.
1956.
A Note on Computable Functionals.
Indagationes Mathematicae (Proceedings),
Vol. 59,
Issue. ,
p.
275.
Heyting, von A.
1958.
BLICK VON DER INTUITIONISTISCHEN WARTE.
dialectica,
Vol. 12,
Issue. 3-4,
p.
332.
1958.
Foundations of Set Theory.
Vol. 23,
Issue. ,
p.
349.
1965.
The Foundations of Intuitionistic Mathematics.
Vol. 39,
Issue. ,
p.
187.
Howard, W. A.
and
Kreisel, G.
1966.
Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis.
Journal of Symbolic Logic,
Vol. 31,
Issue. 3,
p.
325.
1966.
Intuitionism An Introduction.
Vol. 41,
Issue. ,
p.
127.
Schultz, Konrad
1967.
Spreadtheorie und Intuitionistische Topologie.
Mathematical Logic Quarterly,
Vol. 13,
Issue. 16-18,
p.
251.
van Dalen, Dirk
1968.
Fans Generated by Nondeterministic Automata.
Mathematical Logic Quarterly,
Vol. 14,
Issue. 18,
p.
273.
Troelstra, A.S.
1968.
Logic, Methodology and Philosophy of Science III.
Vol. 52,
Issue. ,
p.
201.
Van Dalen, Dirk
1968.
Reductibilities in intuitionistic topology.
Journal of Symbolic Logic,
Vol. 33,
Issue. 3,
p.
412.
Kreisel, G.
and
Troelstra, A.S.
1970.
Formal systems for some branches of intuitionistic analysis.
Annals of Mathematical Logic,
Vol. 1,
Issue. 3,
p.
229.
Ashvinikumar
1970.
On the intuitionist theory of stieltjes integration and its applications.
Indagationes Mathematicae (Proceedings),
Vol. 73,
Issue. ,
p.
62.
Ashvinikumar
1970.
On Brouwer-Stieltjes integration.
Indagationes Mathematicae (Proceedings),
Vol. 73,
Issue. ,
p.
161.
Rootselaar, B. van
1970.
Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968.
Vol. 60,
Issue. ,
p.
187.
Ashvinikumar
and
Shukla, Sahab Lal
1971.
Intuitionist determination of dual spaces of certain catalogued linear spaces. II.
Indagationes Mathematicae (Proceedings),
Vol. 74,
Issue. ,
p.
251.
Lal Shukla, Sahab
1972.
On intuitionist analogues of classically inseparable spaces.
Indagationes Mathematicae (Proceedings),
Vol. 75,
Issue. 3,
p.
221.
Lal Shukla, Sahab
1972.
On some linear spaces which coincide classically but are different intuitionistically.
Indagationes Mathematicae (Proceedings),
Vol. 75,
Issue. 3,
p.
275.