Principles of intuitionism

by A. S. Troelstra · 1 review · 1975

Reviewed by	Journal	Date	Access
Joan Rand Moschovakis	The Journal of Symbolic Logic	1975	Restricted

Metaphysics & Logic

Also by Troelstra

Choice sequences. A chapter of intuitionistic mathematics (2 reviews)
Lectures on Linear Logic (2 reviews)
Basic Proof Theory A. S. Troelstra H. Schwichtenberg (1 review)
Constructivism in Mathematics (1 review)
Constructivism in Mathematics, V1 (1 review)
Constructivism in Mathematics, V2 (1 review)

Search PhilReviews for this title