Foundations of Constructive Analysis

Errett Bishop put forth his programme of constructive mathematics (see Bishop's constructive mathematics) in a 1967 book, *Foundations of Constructive Analysis*. A revised version, with Douglas Bridges, was published in 1985 as *Constructive Analysis*.

category: reference

Last revised on January 5, 2018 at 04:13:40. See the history of this page for a list of all contributions to it.