摘要: This is an introduction to, and survey of, the constructive approaches to pure mathematics. The authors emphasise viewpoint of Errett Bishop's school, but intuitionism. Russian constructivism recursive analysis are also treated, with comparisons between various included where appropriate. Constructive mathematics now enjoying a revival, interest from not only logicans category theorists, function theorists theoretical computer scientists. account for non-specialists in these other disciplines.
amazon.com
openlibrary.org参考文章(0)