CONSTRUCTIVISM IN MATHEMATICS
By: Troelstra, A. S.
Contributor(s): Dalen, D. Van.
Material type:
BookSeries: Studies In Logic And The Foundations Of Mathematics V. 121. Publisher: Amsterdam North-Holland 1988Description: 2 v.Subject(s): Constructive MathematicsDDC classification: 511.3 | T743c
| Item type | Current location | Collection | Call number | Copy number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|
Books
|
PK Kelkar Library, IIT Kanpur | General Stacks | 511.3 T743c (Browse shelf) | v. 2 | Available | A116059 |
Total holds: 0
Browsing PK Kelkar Library, IIT Kanpur Shelves , Collection code: General Stacks Close shelf browser
| 511.3 T572c CELLULAR AUTOMATA MACHINES | 511.3 T646L LECTURES IN LOGIC AND SET THEORY | 511.3 T692i INFORMATION-BASED COMPLEXITY | 511.3 T743c CONSTRUCTIVISM IN MATHEMATICS | 511.3 T775d2 Discrete mathematics for computer scientists | 511.3 US1 FUZZSETS AND THEIR APPLICATIONS TO COGNITIVE AND DECISION PROCESSES | 511.3 V26L LANGUAGE IN ACTION |
There are no comments for this item.