Infinitistic methods from a finitist point of view

by A. Heyting · 1 review · 1968

Reviewed by	Journal	Date	Access
G. Kreisel	The Journal of Symbolic Logic	1968	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)
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