- The intended interpretation of intuitionistic logic.Scott Weinstein - 1983 - Journal of Philosophical Logic 12 (2):261 - 270.details
|
|
Choice sequences: a chapter of intuitionistic mathematics.Anne Sjerp Troelstra - 1977 - Oxford [Eng.]: Clarendon Press.details
|
|
Analysing choice sequences.A. S. Troelstra - 1983 - Journal of Philosophical Logic 12 (2):197 - 260.details
|
|
Finitism.W. W. Tait - 1981 - Journal of Philosophy 78 (9):524-546.details
|
|
Georg Kreisel. Mathematical logic. Lectures on modern mathematics, vol. 3, edited by T. L. Saaty, John Wiley & Sons, Inc., New York, London, and Sydney, 1965, pp. 95–195. [REVIEW]R. E. Vesley - 1967 - Journal of Symbolic Logic 32 (3):419-420.details
|
|
Semantical Analysis of Intuitionistic Logic I.Saul A. Kripke - 1963 - In Michael Dummett & J. N. Crossley (eds.), Formal Systems and Recursive Functions: Proceedings of the Eighth Logic Colloquium, Oxford July 1963. North Holland. pp. 92-130.details
|
|
Foundations of Intuitionistic Logic.G. Kreisel - 1965 - Journal of Symbolic Logic 30 (2):243-244.details
|
|
Topos Theory.P. T. Johnstone - 1982 - Journal of Symbolic Logic 47 (2):448-450.details
|
|
Sheaves and Logic.M. P. Fourman, D. S. Scott & C. J. Mulvey - 1983 - Journal of Symbolic Logic 48 (4):1201-1203.details
|
|
Brouwer's Cambridge lectures on intuitionism.Luitzen Egbertus Jan Brouwer - 1981 - New York: Cambridge University Press. Edited by D. van Dalen.details
|
|
Metamathematical investigation of intuitionistic arithmetic and analysis.Anne S. Troelstra - 1973 - New York,: Springer.details
|
|
Over de grondslagen der wiskunde..L. E. J. Brouwer - 1907 - Leipzig,: Maas & van Suchtelen.details
|
|
Principles of Intuitionism: Lectures Presented at the Summer Conference on Intuitionism and Proof Theory (1968) at Suny at Buffalo, Ny.Anne Sjerp Troelstra - 1969 - Berlin, Germany: Springer.details
|
|
Elements of Intuitionism.Michael Dummett - 1977 - New York: Oxford University Press. Edited by Roberto Minio.details
|
|
Intuitionistic Logic.Dirk van Dalen - 2002 - In D. M. Gabbay & F. Guenthner (eds.), ¸ Itegabbay2002. Kluwer Academic Publishers. pp. 1-115.details
|
|
The formulae-as-types notion of construction.William Alvin Howard - 1980 - In Haskell Curry, Hindley B., Seldin J. Roger & P. Jonathan (eds.), To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism. Academic Press.details
|
|
Elements of Intuitionism.Michael Dummett - 1980 - British Journal for the Philosophy of Science 31 (3):299-301.details
|
|