Constructivism in Mathematics

by A S Troelstra · 1 review · 1994

Reviewed by	Journal	Date	Access
Fred Richman	Philosophia Mathematica	1994-01-01	—

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, V1 (1 review)
Constructivism in Mathematics, V2 (1 review)
Principles of intuitionism (1 review)

Search PhilReviews for this title