Get Free Shipping on orders over $79
Varieties of Constructive Mathematics : London Mathematical Society Lecture Note Series - No Information Available

Varieties of Constructive Mathematics

By: No Information Available

Paperback | 6 July 1987

At a Glance

Paperback


RRP $119.95

$103.75

14%OFF

or 4 interest-free payments of $25.94 with

 or 

Ships in 5 to 7 business days

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.

More in Mathematical Foundation

Oxford Maths for Australian Schools Year 4 Value Pack : 3rd Edition - Annie Facchinetti
Current Trends in Automated Reasoning - Erika Bach
Handbook of Automated Reasoning - Rachel Phillips
Oxford Maths for Australian Schools Year 3 Value Pack : 3rd Edition - Annie Facchinetti
Oxford Maths for Australian Schools Year 6 Value Pack : 3rd Edition - Brian Murray
Teaching Secondary Mathematics : 2nd Edition - Gregory Hine

RRP $80.95

$66.99

17%
OFF
The Language of Mathematics : The Stories behind the Symbols - Raul Rojas
Oxford Maths for Australian Schools Year 2 Value Pack : 3rd Edition - Annie Facchinetti
Unequal : The Maths of When Things Do and Don't Add Up - Eugenia Cheng
Oxford Maths for Australian Schools Year F Value Pack : 3rd Edition - Annie Facchinetti
Oxford Maths for Australian Schools Year 1 Value Pack : 3rd Edition - Annie Facchinetti
Oxford Maths for Australian Schools Value Pack Year 5 : Oxford Maths - Brian Murray
How to Prove It : A Structured Approach - Daniel J. Velleman

RRP $73.95

$70.75