The Resource Varieties of constructive mathematics, Douglas Bridges, Fred Richman, (electronic book.)
Varieties of constructive mathematics, Douglas Bridges, Fred Richman, (electronic book.)
Resource Information
The item Varieties of constructive mathematics, Douglas Bridges, Fred Richman, (electronic book.) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Liverpool.This item is available to borrow from 1 library branch.
Resource Information
The item Varieties of constructive mathematics, Douglas Bridges, Fred Richman, (electronic book.) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Liverpool.
This item is available to borrow from 1 library branch.
- Summary
- 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
- Language
- eng
- Label
- Varieties of constructive mathematics
- Title
- Varieties of constructive mathematics
- Statement of responsibility
- Douglas Bridges, Fred Richman
- Language
- eng
- Summary
- 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
- Cataloging source
- UkCbUP
- http://library.link/vocab/creatorDate
- 1945-
- http://library.link/vocab/creatorName
- Bridges, D. S.
- Index
- index present
- Literary form
- non fiction
- Nature of contents
- dictionaries
- http://library.link/vocab/relatedWorkOrContributorDate
- 1938-
- http://library.link/vocab/relatedWorkOrContributorName
- Richman, Fred
- Series statement
- London mathematical society lecture note series
- Series volume
- 97
- http://library.link/vocab/subjectName
- Constructive mathematics
- Label
- Varieties of constructive mathematics, Douglas Bridges, Fred Richman, (electronic book.)
- Bibliography note
- Includes index
- Carrier category
- online resource
- Carrier category code
-
- cr
- Carrier MARC source
- rdacarrier
- Content category
- text
- Content type code
-
- txt
- Content type MARC source
- rdacontent
- Control code
- CR9780511565663
- Extent
- x ,150 p.
- Form of item
- electronic
- Isbn
- 9780521318020
- Media category
- computer
- Media MARC source
- rdamedia
- Media type code
-
- c
- Specific material designation
- remote
- Type of computer file
- Label
- Varieties of constructive mathematics, Douglas Bridges, Fred Richman, (electronic book.)
- Bibliography note
- Includes index
- Carrier category
- online resource
- Carrier category code
-
- cr
- Carrier MARC source
- rdacarrier
- Content category
- text
- Content type code
-
- txt
- Content type MARC source
- rdacontent
- Control code
- CR9780511565663
- Extent
- x ,150 p.
- Form of item
- electronic
- Isbn
- 9780521318020
- Media category
- computer
- Media MARC source
- rdamedia
- Media type code
-
- c
- Specific material designation
- remote
- Type of computer file
Library Links
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.liverpool.ac.uk/portal/Varieties-of-constructive-mathematics-Douglas/DeHzl5yZuvU/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.liverpool.ac.uk/portal/Varieties-of-constructive-mathematics-Douglas/DeHzl5yZuvU/">Varieties of constructive mathematics, Douglas Bridges, Fred Richman, (electronic book.)</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.liverpool.ac.uk/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.liverpool.ac.uk/">University of Liverpool</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data - Experimental
Data Citation of the Item Varieties of constructive mathematics, Douglas Bridges, Fred Richman, (electronic book.)
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.liverpool.ac.uk/portal/Varieties-of-constructive-mathematics-Douglas/DeHzl5yZuvU/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.liverpool.ac.uk/portal/Varieties-of-constructive-mathematics-Douglas/DeHzl5yZuvU/">Varieties of constructive mathematics, Douglas Bridges, Fred Richman, (electronic book.)</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.liverpool.ac.uk/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.liverpool.ac.uk/">University of Liverpool</a></span></span></span></span></div>