Intensional mathematics / edited by Stewart Shapiro.
Contributor(s): Shapiro, Stewart.
Material type:
BookSeries: Studies in logic and the foundations of mathematics ; v. 113. Publisher: Amsterdam : North-Holland ;Elsevier Science Pub. Co., 1985Description: v, 230 p.ISBN: 0444876324 (U.S.).Subject(s): Modality (Logic) | Constructive mathematics | Intuitionistic mathematicsDDC classification: 511�19
| Item type | Current location | Home library | Collection | Shelving location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|---|
Books
|
Matheson Library | Matheson Library | Main Collection | Main Collection | 511 I61 (Browse shelf) | Available | 066317 |
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 D139L Logic and structure | 511 D139L 1983 Logic and structure | 511 H219 Set theory and the structure of arithmetic / | 511 I61 Intensional mathematics / | 511 J74s The state of the art in numerical analysis : | 511 L674e Elements of the theory of computation | 511 L783 Elements of discrete mathematics / |
There are no comments for this item.