Media type: Book Title: Constructivism in mathematics / A. S. Troelstra; D. van Dalen 1 Contributor: Troelstra, Anne S. [Author]; Dalen, Dirk van [Author] imprint: Amsterdam: North-Holland, 1988 Published in: Constructivism in mathematics / A. S. Troelstra; D. van Dalen ; 1 Studies in logic and the foundations of mathematics ; 121 Extent: XX, 342, XIV S.; graph. Darst Language: English ISBN: 0444702660; 0444705066 RVK notation: SK 130 : Logik und Grundlagen, Metamathematik, Origination: Footnote:
Departmental Library DrePunct – open access area Shelf-mark: SK 130 T843-1 Item ID: 10427092 Status: To be used in the library, interlibrary loan possible