Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
1965.
The Foundations of Intuitionistic Mathematics.
Vol. 39,
Issue. ,
p.
187.
1966.
Intuitionism An Introduction.
Vol. 41,
Issue. ,
p.
127.
Mints, G. E.
1969.
Studies in Constructive Mathematics and Mathematical Logic.
p.
43.
Scarpellini, Bruno
1969.
Some applications of Gentzens second consistency proof.
Mathematische Annalen,
Vol. 181,
Issue. 4,
p.
325.
Mints, G. E.
and
Orevkov, V. P.
1969.
Studies in Constructive Mathematics and Mathematical Logic.
p.
64.
Mints, G. E.
and
Orevkov, V. P.
1969.
Studies in Constructive Mathematics and Mathematical Logic.
p.
64.
Mints, G. E.
1969.
Studies in Constructive Mathematics and Mathematical Logic.
p.
43.
Mints, G. E.
1970.
Studies in Constructive Mathematics and Mathematical Logic Part 2.
p.
90.
Orevkov, V. P.
1970.
Studies in Constructive Mathematics and Mathematical Logic Part 2.
p.
95.
Scarpellini, Bruno
1972.
Induction and transfinite induction in intuitionistic systems.
Annals of Mathematical Logic,
Vol. 4,
Issue. 2,
p.
173.
Kleene, S. C.
1973.
Cambridge Summer School in Mathematical Logic.
Vol. 337,
Issue. ,
p.
95.
Prucnal, Tadeusz
1979.
On two problems of Harvey Friedman.
Studia Logica,
Vol. 38,
Issue. 3,
p.
247.
Weinstein, Scott
1979.
Some applications of Kripke models to formal systems of intuitionistic analysis.
Annals of Mathematical Logic,
Vol. 16,
Issue. 1,
p.
1.
Rybakov, V. V.
1984.
A criterion for admissibility of rules in the model system S4 and the intuitionistic logic.
Algebra and Logic,
Vol. 23,
Issue. 5,
p.
369.
Coquand, Thierry
1986.
Combinators and Functional Programming Languages.
Vol. 242,
Issue. ,
p.
71.
Alexi, Werner
1988.
Extraction and verification of programs by analysis of formal proofs.
Theoretical Computer Science,
Vol. 61,
Issue. 2-3,
p.
225.
McCarty, L.Thorne
1988.
Clausal intuitionistic logic I. fixed-point semantics.
The Journal of Logic Programming,
Vol. 5,
Issue. 1,
p.
1.
Rybakov, V.V.
1989.
Logic, Methodology and Philosophy of Science VIII, Proceedings of the Eighth International Congress of Logic, Methodology and Philosophy of Science.
Vol. 126,
Issue. ,
p.
121.
Rybakov, V.V.
1990.
Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus.
Annals of Pure and Applied Logic,
Vol. 50,
Issue. 1,
p.
71.
Starchenko, S. S.
and
Voronkov, A. A.
1990.
COLOG-88.
Vol. 417,
Issue. ,
p.
275.