Varieties of Constructive Mathematics - , Fred Richman
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... |
 |
|
|
