511.3 / T743c
Troelstra, A. S.
CONSTRUCTIVISM IN MATHEMATICS
/ AN INTRODUCTION
.- Amsterdam: North-Holland, 1988
.- 2 v. .
.- ( Studies In Logic And The Foundations Of Mathematics V. 121
Subject Headings:
Constructive Mathematics;
Author Added Entry:
Dalen, D. Van;
Copy Details:
Acc. No.: A116059, Full Call No.: 511.3 T743c, (v. 2) Item type: Books , Location: General Stacks,
------------------------- --------------------- ------ --------- ------- ------- --------- --------