Constructivism in mathematics: an introduction / A.S. Troelstra and D. van Dalen.
By: Troelstra, A. S. (Anne Sjerp).
Contributor(s): Dalen, D. van (Dirk).
Material type: BookSeries: Studies in logic and the foundations of mathematics: v. 121, etc.Publisher: Amsterdam : North-Holland, 1988Description: v. : ill.Subject(s): Constructive mathematicsItem type | Current location | Home library | Collection | Shelving location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|---|
Books | Matheson Library | Matheson Library | Main Collection | Main Collection | 511.3 T641c (Browse shelf) | Available | 069199 |
Browsing Matheson Library Shelves , Shelving location: Main Collection , Collection code: Main Collection Close shelf browser
No cover image available | No cover image available | No cover image available | No cover image available | |||||
511.3 S875 Sets, logic, and axiomatic theories / | 511.3 S943 Languages and machines : | 511.3 S959 Axiomatic set theory / | 511.3 T641c Constructivism in mathematics: | 511.3 T843c Constructivism in mathematics : | 511.3 T873 Discrete mathematics for computer scientists / | 511.3 T873 Discrete mathematics for computer scientists / |
There are no comments for this item.