Constriuctivisim in mathematics: an introduction
Troelstra, A. S
Constriuctivisim in mathematics: an introduction A. S. Troelstra and D. van Dalen - Boston Elsevier 1988 - 342p. - Studies in logic and foundations in mathematics; v. 121,123 .
9780444702661
CONSTRUCTIVE MATHEMATICS
510.25 / TRO-C
Constriuctivisim in mathematics: an introduction A. S. Troelstra and D. van Dalen - Boston Elsevier 1988 - 342p. - Studies in logic and foundations in mathematics; v. 121,123 .
9780444702661
CONSTRUCTIVE MATHEMATICS
510.25 / TRO-C