Feasibly constructive analysis

H. James Hoover. Feasibly constructive analysis. PhD thesis, University of Toronto, Canada, 1987. [doi]

Abstract

Abstract is missing.