Constructivism in Mathematics, V2

by A S Troelstra · 1 review · 1991

Reviewed by	Journal	Date	Access
Michael J Beeson	Notre Dame Journal of Formal Logic	1991-03-01	—

Metaphysics & Logic Epistemology & Philosophy of Mind

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)
Principles of intuitionism (1 review)

Search PhilReviews for this title