Media type: Book Title: Constructivism in mathematics / A. S. Troelstra; D. van Dalen 2 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 ; 2 Studies in logic and the foundations of mathematics ; 123 Extent: XVII S., S. 345 - 879, LII S. Language: English ISBN: 0444703586 RVK notation: SK 130 : Logik und Grundlagen, Metamathematik, Origination: Footnote:
Departmental Library DrePunct – open access area Shelf-mark: SK 130 T843-2 Item ID: 10427093 Status: To be used in the library, interlibrary loan possible