skip to content
Covid-19 virus
COVID-19 Resources

Reliable information about the coronavirus (COVID-19) is available from the World Health Organization (current situation, international travel). Numerous and frequently-updated resource results are available from this WorldCat.org search. OCLC’s WebJunction has pulled together information and resources to assist library staff as they consider how to handle coronavirus issues in their communities.

Image provided by: CDC/ Alissa Eckert, MS; Dan Higgins, MAM
Varieties of constructive mathematics Preview this item
ClosePreview this item
Checking...

Varieties of constructive mathematics

Author: D S Bridges; Fred Richman
Publisher: Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1987.
Series: London Mathematical Society lecture note series, 97.
Edition/Format:   Print book : EnglishView all editions and formats
Summary:
This is an introduction to, and survey of, the constructive approaches to pure mathematics.
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: D S Bridges; Fred Richman
ISBN: 0521318025 9780521318020
OCLC Number: 12808271
Description: x, 149 pages : illustrations ; 23 cm.
Contents: 1. The foundations of constructive mathematics; 2. Constructive analysis; 3. Russian constructive mathematics; 4. Constructive algebra; 5. Intuitionism; 6. Contrasting varieties; 7. Intuitionistic logic and topos theory; Index.
Series Title: London Mathematical Society lecture note series, 97.
Responsibility: Douglas Bridges, Fred Richman.
More information:

Abstract:

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  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


\n\n

Primary Entity<\/h3>\n
<http:\/\/www.worldcat.org\/oclc\/12808271<\/a>> # Varieties of constructive mathematics<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:CreativeWork<\/a>, schema:Book<\/a> ;\u00A0\u00A0\u00A0\nlibrary:oclcnum<\/a> \"12808271<\/span>\" ;\u00A0\u00A0\u00A0\nlibrary:placeOfPublication<\/a> <http:\/\/id.loc.gov\/vocabulary\/countries\/enk<\/a>> ;\u00A0\u00A0\u00A0\nlibrary:placeOfPublication<\/a> <http:\/\/dbpedia.org\/resource\/New_York_City<\/a>> ; # New York<\/span>\n\u00A0\u00A0\u00A0\nlibrary:placeOfPublication<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/5427528#Place\/cambridge_cambridgeshire<\/a>> ; # Cambridge Cambridgeshire<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/5427528#Topic\/sistemas_logicos_nao_classicos<\/a>> ; # Sistemas l\u00F3gicos n\u00E3o cl\u00E1ssicos<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/5427528#Topic\/matematica_construtiva<\/a>> ; # Matem\u00E1tica construtiva<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/5427528#Topic\/konstruktiv_matematika<\/a>> ; # konstrukt\u00EDv matematika<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/id.loc.gov\/authorities\/classification\/BC135<\/a>> ;\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/5427528#Topic\/mathematiques_constructives<\/a>> ; # Math\u00E9matiques constructives<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/5427528#Topic\/mathematische_logik<\/a>> ; # Mathematische Logik<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/5427528#Thing\/mathematical_logic<\/a>> ; # Mathematical logic<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/5427528#Topic\/konstruktive_mathematik<\/a>> ; # Konstruktive Mathematik<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/5427528#Topic\/constructive_mathematics<\/a>> ; # Constructive mathematics<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/5427528#Topic\/logique_symbolique_et_mathematique<\/a>> ; # Logique symbolique et math\u00E9matique<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/dewey.info\/class\/511.3\/e19\/<\/a>> ;\u00A0\u00A0\u00A0\nschema:bookFormat<\/a> bgn:PrintBook<\/a> ;\u00A0\u00A0\u00A0\nschema:contributor<\/a> <http:\/\/viaf.org\/viaf\/110141376<\/a>> ; # Fred Richman<\/span>\n\u00A0\u00A0\u00A0\nschema:creator<\/a> <http:\/\/viaf.org\/viaf\/66533660<\/a>> ; # Douglas S. Bridges<\/span>\n\u00A0\u00A0\u00A0\nschema:datePublished<\/a> \"1987<\/span>\" ;\u00A0\u00A0\u00A0\nschema:description<\/a> \"This is an introduction to, and survey of, the constructive approaches to pure mathematics.<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\nschema:exampleOfWork<\/a> <http:\/\/worldcat.org\/entity\/work\/id\/5427528<\/a>> ;\u00A0\u00A0\u00A0\nschema:inLanguage<\/a> \"en<\/span>\" ;\u00A0\u00A0\u00A0\nschema:isPartOf<\/a> <http:\/\/worldcat.org\/issn\/0076-0052<\/a>> ; # London Mathematical Society lecture note series ;<\/span>\n\u00A0\u00A0\u00A0\nschema:name<\/a> \"Varieties of constructive mathematics<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\nschema:productID<\/a> \"12808271<\/span>\" ;\u00A0\u00A0\u00A0\nschema:publication<\/a> <http:\/\/www.worldcat.org\/title\/-\/oclc\/12808271#PublicationEvent\/cambridge_cambridgeshire_new_york_cambridge_university_press_1987<\/a>> ;\u00A0\u00A0\u00A0\nschema:publisher<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/5427528#Agent\/cambridge_university_press<\/a>> ; # Cambridge University Press<\/span>\n\u00A0\u00A0\u00A0\nschema:url<\/a> <http:\/\/bvbr.bib-bvb.de:8991\/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006134389&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA<\/a>> ;\u00A0\u00A0\u00A0\nschema:url<\/a> <http:\/\/digitool.hbz-nrw.de:1801\/webclient\/DeliveryManager?pid=1914402&custom_att_2=simple_viewer<\/a>> ;\u00A0\u00A0\u00A0\nschema:url<\/a> <http:\/\/catdir.loc.gov\/catdir\/toc\/cam027\/85026904.html<\/a>> ;\u00A0\u00A0\u00A0\nschema:url<\/a> <http:\/\/www.gbv.de\/dms\/hbz\/toc\/ht002815684.pdf<\/a>> ;\u00A0\u00A0\u00A0\nschema:workExample<\/a> <http:\/\/worldcat.org\/isbn\/9780521318020<\/a>> ;\u00A0\u00A0\u00A0\numbel:isLike<\/a> <http:\/\/bnb.data.bl.uk\/id\/resource\/GB8545796<\/a>> ;\u00A0\u00A0\u00A0\nwdrs:describedby<\/a> <http:\/\/www.worldcat.org\/title\/-\/oclc\/12808271<\/a>> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n\n

Related Entities<\/h3>\n
<http:\/\/dbpedia.org\/resource\/New_York_City<\/a>> # New York<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Place<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"New York<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/dewey.info\/class\/511.3\/e19\/<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/5427528#Agent\/cambridge_university_press<\/a>> # Cambridge University Press<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nbgn:Agent<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Cambridge University Press<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/5427528#Place\/cambridge_cambridgeshire<\/a>> # Cambridge Cambridgeshire<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Place<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Cambridge Cambridgeshire<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/5427528#Thing\/mathematical_logic<\/a>> # Mathematical logic<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Thing<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Mathematical logic<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/5427528#Topic\/constructive_mathematics<\/a>> # Constructive mathematics<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Constructive mathematics<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/5427528#Topic\/konstruktiv_matematika<\/a>> # konstrukt\u00EDv matematika<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"konstrukt\u00EDv matematika<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/5427528#Topic\/konstruktive_mathematik<\/a>> # Konstruktive Mathematik<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Konstruktive Mathematik<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/5427528#Topic\/logique_symbolique_et_mathematique<\/a>> # Logique symbolique et math\u00E9matique<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Logique symbolique et math\u00E9matique<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/5427528#Topic\/matematica_construtiva<\/a>> # Matem\u00E1tica construtiva<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Matem\u00E1tica construtiva<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/5427528#Topic\/mathematiques_constructives<\/a>> # Math\u00E9matiques constructives<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Math\u00E9matiques constructives<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Math\u00E9matiques constructives<\/span>\"@fr<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/5427528#Topic\/mathematische_logik<\/a>> # Mathematische Logik<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Mathematische Logik<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/5427528#Topic\/sistemas_logicos_nao_classicos<\/a>> # Sistemas l\u00F3gicos n\u00E3o cl\u00E1ssicos<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Sistemas l\u00F3gicos n\u00E3o cl\u00E1ssicos<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/id.loc.gov\/authorities\/classification\/BC135<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/id.loc.gov\/vocabulary\/countries\/enk<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:Place<\/a> ;\u00A0\u00A0\u00A0\ndcterms:identifier<\/a> \"enk<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/viaf.org\/viaf\/110141376<\/a>> # Fred Richman<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Person<\/a> ;\u00A0\u00A0\u00A0\nschema:birthDate<\/a> \"1938<\/span>\" ;\u00A0\u00A0\u00A0\nschema:familyName<\/a> \"Richman<\/span>\" ;\u00A0\u00A0\u00A0\nschema:givenName<\/a> \"Fred<\/span>\" ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Fred Richman<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/viaf.org\/viaf\/66533660<\/a>> # Douglas S. Bridges<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Person<\/a> ;\u00A0\u00A0\u00A0\nschema:birthDate<\/a> \"1945<\/span>\" ;\u00A0\u00A0\u00A0\nschema:familyName<\/a> \"Bridges<\/span>\" ;\u00A0\u00A0\u00A0\nschema:givenName<\/a> \"Douglas S.<\/span>\" ;\u00A0\u00A0\u00A0\nschema:givenName<\/a> \"D. S.<\/span>\" ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Douglas S. Bridges<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/worldcat.org\/isbn\/9780521318020<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:ProductModel<\/a> ;\u00A0\u00A0\u00A0\nschema:isbn<\/a> \"0521318025<\/span>\" ;\u00A0\u00A0\u00A0\nschema:isbn<\/a> \"9780521318020<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/worldcat.org\/issn\/0076-0052<\/a>> # London Mathematical Society lecture note series ;<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nbgn:PublicationSeries<\/a> ;\u00A0\u00A0\u00A0\nschema:hasPart<\/a> <http:\/\/www.worldcat.org\/oclc\/12808271<\/a>> ; # Varieties of constructive mathematics<\/span>\n\u00A0\u00A0\u00A0\nschema:issn<\/a> \"0076-0052<\/span>\" ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"London Mathematical Society lecture note series ;<\/span>\" ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"London Mathematical Society lecture note series,<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/www.worldcat.org\/title\/-\/oclc\/12808271<\/a>>\u00A0\u00A0\u00A0\u00A0a \ngenont:InformationResource<\/a>, genont:ContentTypeGenericResource<\/a> ;\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/www.worldcat.org\/oclc\/12808271<\/a>> ; # Varieties of constructive mathematics<\/span>\n\u00A0\u00A0\u00A0\nschema:dateModified<\/a> \"2019-09-13<\/span>\" ;\u00A0\u00A0\u00A0\nvoid:inDataset<\/a> <http:\/\/purl.oclc.org\/dataset\/WorldCat<\/a>> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/www.worldcat.org\/title\/-\/oclc\/12808271#PublicationEvent\/cambridge_cambridgeshire_new_york_cambridge_university_press_1987<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:PublicationEvent<\/a> ;\u00A0\u00A0\u00A0\nschema:location<\/a> <http:\/\/dbpedia.org\/resource\/New_York_City<\/a>> ; # New York<\/span>\n\u00A0\u00A0\u00A0\nschema:location<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/5427528#Place\/cambridge_cambridgeshire<\/a>> ; # Cambridge Cambridgeshire<\/span>\n\u00A0\u00A0\u00A0\nschema:organizer<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/5427528#Agent\/cambridge_university_press<\/a>> ; # Cambridge University Press<\/span>\n\u00A0\u00A0\u00A0\nschema:startDate<\/a> \"1987<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n\n

Content-negotiable representations<\/p>\n