Varieties of Constructive Mathematics: 97 (London Mathematical Society Lecture Note Series, Series Number 97) - Softcover

Bridges, Douglas

 
9780521318020: Varieties of Constructive Mathematics: 97 (London Mathematical Society Lecture Note Series, Series Number 97)

Synopsis

This is an introduction to, and survey of, the constructive approaches to pure mathematics.

"synopsis" may belong to another edition of this title.

Book 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.

"About this title" may belong to another edition of this title.