Varieties of constructive mathematics
By: Bridges, Douglas | Richman, Fred.
Series: London Mathematical Society;97. Publisher: Cambridge Cambridge university Press 1988Description: x, 149 pages.ISBN: 0521318025.Subject(s): Logic | Constructive mathematicsDDC classification: 511.3Item type | Current location | Collection | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
Books in Stacks (S) | Main Library Science & Technology | S | 511.3 BRI (Browse shelf) | Available | 272405 |
Include index.
There are no comments for this item.