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