Les fondements des mathématiques. Intuitionnisme. Théorie de la démonstration. Collection de logique mathématique, ser. A no. 9. Dactyloffset

Name: Les fondements des mathématiques. Intuitionnisme. Théorie de la démonstration. Collection de logique mathématique, ser. A no. 9. Dactyloffset
Author: A. Heyting

by A. Heyting · 1 review · 1958

Reviewed by	Journal	Date	Access
Robert Feys	The Journal of Symbolic Logic	1958	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)
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)
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