Intuitionism. An introduction

by A. Heyting · 1 review · 1956

Reviewed by	Journal	Date	Access
Sigekatu Kuroda	The Journal of Symbolic Logic	1956	Restricted

Metaphysics & Logic

Also by Heyting

After thirty years (1 review)
Axiomatic method and intuitionism (1 review)
Collected Works, V1, Philosophy and Foundations of Mathematics (1 review)
Infinitistic methods from a finitist point of view (1 review)
L. E. J. Brouwer -- Collected Works, V1: Philosophy and Foundations of Mathematics (1 review)
L. E. J. Brouwer: Philosophy and Foundations of Mathematics (1 review)
Les fondements des mathématiques. Intuitionnisme. Théorie de la démonstration. Collection de logique mathématique, ser. A no. 9. Dactyloffset (1 review)
Logique et intuitionnisme. Applications scientifiques de la logique mathématique, Actes du 2e Colloque International de Logique Mathématique (1 review)

Search PhilReviews for this title