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.
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.
Scarpellini, Bruno
1969.
Some applications of Gentzens second consistency proof.
Mathematische Annalen,
Vol. 181,
Issue. 4,
p.
325.
Mints, G. E.
1969.
Studies in Constructive Mathematics and Mathematical Logic.
p.
43.
Orevkov, V. P.
1970.
Studies in Constructive Mathematics and Mathematical Logic Part 2.
p.
95.
Mints, G. E.
1970.
Studies in Constructive Mathematics and Mathematical Logic Part 2.
p.
90.
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.
Weinstein, Scott
1979.
Some applications of Kripke models to formal systems of intuitionistic analysis.
Annals of Mathematical Logic,
Vol. 16,
Issue. 1,
p.
1.
Prucnal, Tadeusz
1979.
On two problems of Harvey Friedman.
Studia Logica,
Vol. 38,
Issue. 3,
p.
247.
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.
McCarty, L.Thorne
1988.
Clausal intuitionistic logic I. fixed-point semantics.
The Journal of Logic Programming,
Vol. 5,
Issue. 1,
p.
1.
Alexi, Werner
1988.
Extraction and verification of programs by analysis of formal proofs.
Theoretical Computer Science,
Vol. 61,
Issue. 2-3,
p.
225.
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.