Serves as an introduction to constructive mathematics with an emphasis on techniques. This text covers fundamental theory of the real line and metric spaces, fo... » 

Serves as an introduction to constructive mathematics with an emphasis on techniques. This text covers fundamental theory of the real line and metric spaces, focusing on locatedness in normed spaces and with associated results about operators and their adjoints on a Hilbert space. It is aimed at senior undergraduates, graduates, and others. «