nLab
Foundations of Constructive Analysis

Errett Bishop put forth his programme of 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

Created on December 4, 2010 18:23:57 by Toby Bartels (98.16.130.190)