Varieties of Constructive Mathematics / (Record no. 41370)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 01928nam a22003858a 4500 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 9780511565663 (ebook) |
| 082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 511.3 |
| 100 1# - MAIN ENTRY--AUTHOR NAME | |
| Personal name | Bridges, Douglas, |
| 245 10 - TITLE STATEMENT | |
| Title | Varieties of Constructive Mathematics / |
| Statement of responsibility, etc | Douglas Bridges, Fred Richman. |
| 260 #1 - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Place of publication | Cambridge : |
| Name of publisher | Cambridge University Press, |
| Year of publication | 1987. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Number of Pages | 1 online resource (160 pages) : |
| Other physical details | digital, PDF file(s). |
| 490 0# - SERIES STATEMENT | |
| Series statement | London Mathematical Society Lecture Note Series ; |
| 500 ## - GENERAL NOTE | |
| General note | Title from publisher's bibliographic system (viewed on 16 Oct 2015). |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc | This is an introduction to, and survey of, the constructive approaches to pure mathematics. The authors emphasise the viewpoint of Errett Bishop's school, but intuitionism. Russian constructivism and recursive analysis are also treated, with comparisons between the various approaches included where appropriate. Constructive mathematics is now enjoying a revival, with interest from not only logicans but also category theorists, recursive function theorists and theoretical computer scientists. This account for non-specialists in these and other disciplines. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | Constructive mathematics |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Richman, Fred, |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | http://dx.doi.org/10.1017/CBO9780511565663 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | E-BOOKS |
| 264 #1 - | |
| -- | Cambridge : |
| -- | Cambridge University Press, |
| -- | 1987. |
| 336 ## - | |
| -- | text |
| -- | txt |
| -- | rdacontent |
| 337 ## - | |
| -- | computer |
| -- | c |
| -- | rdamedia |
| 338 ## - | |
| -- | online resource |
| -- | cr |
| -- | rdacarrier |
| Withdrawn status | Lost status | Damaged status | Not for loan | Current library | Accession Number | Uniform Resource Identifier | Koha item type |
|---|---|---|---|---|---|---|---|
| IMSc Library | EBK12076 | http://dx.doi.org/10.1017/CBO9780511565663 | E-BOOKS |