After thirty years

by A. Heyting · 1 review · 1971

Reviewed by	Journal	Date	Access
O. Chateaubriand	The Journal of Symbolic Logic	1971	Restricted

Metaphysics & Logic

Also by Heyting

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)
Intuitionism. An introduction (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