Our systems are now restored following recent technical disruption, and we’re working hard to catch up on publishing. We apologise for the inconvenience caused. Find out more

Item added to bagSorry, there was a problem getting your bag informationItem cannot be purchased with the existing contents of your bagItem unavailable online
✕

was added to your bag.

Please try again.

Sorry, this item cannot be purchased in the same transaction as the existing items in your bag.

Please complete the purchase of the items currently in your bag and then add this item in a separate transaction or visit Shopping Help.

Sorry, this product is not currently available to buy online. Please visit Shopping Help.

View bag and checkout
Remove item
✕

Are you sure you want to remove from your bag?

Recommended product

Popular links

Popular links

Varieties of Constructive Mathematics

All titles
Varieties of Constructive Mathematics

Varieties of Constructive Mathematics

Douglas Bridges, University of Buckingham
Fred Richman, New Mexico State University
July 1987
Paperback
9780521318020
AUD$92.95
inc GST
Paperback
USD
eBook
    Description

    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.

    Product details

    July 1987
    Paperback
    9780521318020
    160 pages
    230 × 154 × 11 mm
    0.248kg
    Available

    Often bought together

    Foundations of Constructive Probability Theory
    Foundations of Constructive Probability Theory

    : Hardback

    Stone Spaces
    Stone Spaces

    : Paperback

    Multiple Forcing
    Multiple Forcing

    : Hardback

    Descriptive Set Theory and the Structure of Sets of Uniqueness
    Descriptive Set Theory and the Structure of Sets of Uniqueness

    : Paperback

    Often bought together

    This title is available for institutional purchase via Cambridge Core

    Learn more
    cambridge core banner

    Related Journals

    The Review of Symbolic Logic
    The Review of Symbolic Logic

    : Journal

    The Review of Symbolic Logic is designed to cultivate research on theborders of logic, philosophy, and the sciences, and to supportsubstantive interactions between these disciplines. The journalwelcomes submissions in any of the following areas, broadly construed: - The general study of logical systems and their semantics,including non-classical logics and algebraic logic; - Philosophical logic and formal epistemology, including interactions with decision theory and game theory; - The history, philosophy, and methodology of logic and mathematics, including the history of philosophy of logic and mathematics; - Applications of logic to the sciences, such as computer science, cognitive science, and linguistics; and logical results addressing foundational issues in the sciences. The Review welcomes submissions in all these areas. (For informationon how to submit papers, see Guidelines below.) The Review beganpublication in June 2008.

    Related Journals

    Also by this Author

    Contents

    Table of 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.
      • Show more

    Look inside

    Courses
    Resources
    Additional Information
    About the authors

    Browse by related subject

     
    ✕

    Sorry, this item cannot be purchased in the same transaction as the existing items in your cart.

    Please complete the purchase of the items currently in your cart and then add this item in a separate transaction or contact

    Customer Services

      Acknowledgement

      Cambridge University Press & Assessment acknowledges, celebrates and respects the Boonwurrung People of the Kulin Nation as the Traditional Custodians of the land on which our office in Australia stands. We pay our respects to their ancestors, elders and emerging leaders and extend our respect to Aboriginal and Torres Strait Islander people from all nations of this land, and whose cultures are among the oldest continuing in human history.

        Content warning

        Aboriginal and Torres Strait Islander viewers are advised that this website/platform may contain the image, voice, or name of deceased persons. We apologise for any distress that may occur.