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.
Generating schemes for full mappings.
Indagationes Mathematicae (Proceedings),
Vol. 58,
Issue. ,
p.
646.
Rootselaar, B. van
1955.
On the mapping of spreads.
Indagationes Mathematicae (Proceedings),
Vol. 58,
Issue. ,
p.
557.
Kleene, S.C.
1956.
A Note on Computable Functionals.
Indagationes Mathematicae (Proceedings),
Vol. 59,
Issue. ,
p.
275.
1956.
Intuitionism an Introduction.
Vol. 17,
Issue. ,
p.
123.
1958.
Foundations of Set Theory.
Vol. 23,
Issue. ,
p.
349.
Heyting, von A.
1958.
BLICK VON DER INTUITIONISTISCHEN WARTE.
dialectica,
Vol. 12,
Issue. 3-4,
p.
332.
1965.
The Foundations of Intuitionistic Mathematics.
Vol. 39,
Issue. ,
p.
187.
1966.
Intuitionism An Introduction.
Vol. 41,
Issue. ,
p.
127.
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.
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.
Van Dalen, Dirk
1968.
Reductibilities in intuitionistic topology.
Journal of Symbolic Logic,
Vol. 33,
Issue. 3,
p.
412.
Troelstra, A.S.
1968.
Logic, Methodology and Philosophy of Science III.
Vol. 52,
Issue. ,
p.
201.
Ashvinikumar
1970.
On Brouwer-Stieltjes integration.
Indagationes Mathematicae (Proceedings),
Vol. 73,
Issue. ,
p.
161.
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.
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.
Shukla, Sahab Lal
1972.
Intuitionist treatment of some spaces of sequences.
Indagationes Mathematicae (Proceedings),
Vol. 75,
Issue. 2,
p.
139.
Lal Shukla, Sahab
1972.
On intuitionist analogues of classically inseparable spaces.
Indagationes Mathematicae (Proceedings),
Vol. 75,
Issue. 3,
p.
221.