Coverart for item
The Resource Varieties of constructive mathematics, Douglas Bridges, Fred Richman, (electronic book.)

Varieties of constructive mathematics, Douglas Bridges, Fred Richman, (electronic book.)

Label
Varieties of constructive mathematics
Title
Varieties of constructive mathematics
Statement of responsibility
Douglas Bridges, Fred Richman
Creator
Contributor
Subject
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
Member of
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.)
Instantiates
Publication
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
PDF
Label
Varieties of constructive mathematics, Douglas Bridges, Fred Richman, (electronic book.)
Publication
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
PDF

Library Locations

Processing Feedback ...