| Cambridge Lectures on Intuitionism |
Brouwer |
G. Kreisel |
Philosophy in Review |
1982-01-01 |
| Elements of Intuitionism |
M. Dummett |
Peter Eggenberger |
The British Journal for the Philosophy of Science |
1980-09-01 |
| MICHAEL. The elements of intuitionism |
Dummett |
Göran Sundholm |
Theoria |
1979-08-01 |
| The Elements of Intuitionism |
Michael Dummett |
Goran Sundholm |
|
1979-01-01 |
| Elements of intuitionism. With the assistance of Roberto Minio |
Michael Dummett |
Nicolas D. Goodman |
The Journal of Symbolic Logic |
1979 |
| Elements of Intuitionism |
Michael Dummett |
Mary Tiles |
Philosophical Books |
1978-05-01 |
| Oliver Aberth. Computable analysis and differential equations. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N.Y |
S Mazur |
R L Goodstein |
The Journal of Symbolic Logic |
1975 |
| Paul Bernays. On the original Gentzen consistency proof for number theory. 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 |
J. van Heijenoort |
The Journal of Symbolic Logic |
1975 |
| 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 |
| Principles of intuitionism |
A. S. Troelstra |
Joan Rand Moschovakis |
The Journal of Symbolic Logic |
1975 |
| R. E. Vesley. A palatable substitute for Kripke's schema. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N.Y |
Per Martin-Löf |
Robert A Di Paola |
The Journal of Symbolic Logic |
1974 |
| David Isles. Regular ordinals and normal forms. 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 |
Helmut Pfeiffer |
The Journal of Symbolic Logic |
1973 |
| Axiomatic method and intuitionism |
A. Heyting |
D. van Dalen |
The Journal of Symbolic Logic |
1971 |
| A. Heyting. Some remarks on intuitionism. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam |
A. Heyting, Studies in logic and the foundations of mathematics |
O. Chateaubriand |
The Journal of Symbolic Logic |
1971 |
| Ethical Intuitionism |
W D Hudson |
John Donnelly |
The New Scholasticism |
1970-06-01 |
| Intuitionism. An introduction |
A. Heyting |
Sigekatu Kuroda |
The Journal of Symbolic Logic |
1956 |
| Empiricism and Intuitionism in Reid's Common Sense Philosophy |
Olin McKendree Jones |
Gail Kennedy |
The Journal of Philosophy |
1928-06-01 |
| Empiricism and Intuitionism in Reid's Common Sense Philosophy |
Olin Mckendree Jones M.A. |
John Laird |
Philosophy |
1928-04-01 |
| Empiricism and Intuitionism in Reid's Common Sense Philosophy Olin McKendree Jones |
Olin Mckendree Jones |
John Laird |
Journal of Philosophical Studies |
1928-04-00 |
| Intuitionism |
David Kaspar |
Robert William Fischer |
Philosophy in Review |
|
