| A. S. Yessenin-Volpin. The ultra-intuitionistic criticism and the antitraditional program for foundations of mathematics. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N.Y |
A. Kino, J. Myhill, and R. E. Vesley, Studies in logic and the foundations of mathematics |
James R. Geiser |
The Journal of Symbolic Logic |
1975 |
| E. W. Beth. Remarks on intuitionistic logic. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam |
A. Heyting, Studies in logic and the foundations of mathematics |
Hans Freudenthal |
The Journal of Symbolic Logic |
1974 |
| Saul A. Kripke. Semantical analysis of intuitionistic logic I. Formal systems and recursive functions, Proceedings of the Eighth Logic Colloquium |
J. N. Crossley and M. A. E. Dummett, Series in logic and the foundations of mathematics |
G. Kreisel |
The Journal of Symbolic Logic |
1970 |
| J. R. Moschovakis. Disjunction and existence in formalized intuitionistic analysis. Sets, models and recursion theory, Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September |
John N. Crossley, Studies in logic and the foundations of mathematics |
W. A. Howard |
The Journal of Symbolic Logic |
1970 |
| Foundations of intuitionistic logic |
G. Kreisel |
Abraham Robinson |
The Journal of Symbolic Logic |
1965 |
