Logique et intuitionnisme. Applications scientifiques de la logique mathématique, Actes du 2e Colloque International de Logique Mathématique

Name: Logique et intuitionnisme. Applications scientifiques de la logique mathématique, Actes du 2e Colloque International de Logique Mathématique
Author: A. Heyting

by A. Heyting · 1 review · 1958

Reviewed by	Journal	Date	Access
Leon Henkin	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)
Les fondements des mathématiques. Intuitionnisme. Théorie de la démonstration. Collection de logique mathématique, ser. A no. 9. Dactyloffset (1 review)

Search PhilReviews for this title