Varieties of constructive mathematics /[by] Douglas, Bridges, Fred Richman
By: BRIDGES, Douglas | Richman, Fred.
Series: London mathematical society lecture notes series. Publisher: Cambridge Cambridge University Press 1988Description: x, 149 p.-.ISBN: 521318025.DDC classification: 511.3| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Books in Stacks (S)
|
Main Library Science & Technology | 511.3 BRI (Browse shelf) | Available | 100237 |
Browsing Main Library Shelves , Shelving location: Science & Technology Close shelf browser
|
|
No cover image available | No cover image available |
|
|
|
||
| 511.3 BAL Structural complexity I / | 511.3 BAL Structural complexity I / | 511.3 BRE Introduction to the theory of sets | 511.3 BRI Varieties of constructive mathematics | 511.3 BRI Varieties of constructive mathematics | 511.3 COP Symbolic logic / | 511.3 DAW Why prove it again?: alternative proofs in mathematical practice |
Includes index.
There are no comments for this item.