Douglas S. Bridges & Luminita Simona Vita : Techniques of Constructive Analysis

Techniques of Constructive Analysis tarjoaa perusteellisen johdatuksen modernin konstruktiivisen analyysin menetelmiin ja algoritmiseen matematiikan kehittämiseen. Kirja käsittelee muun muassa konstruktivismin historiaa, reaalilukujen konstruktiota, metrisiä ja normoituja avaruuksia sekä lukuisia viimeaikaisia tuloksia ja todistuksia.

Kenelle: Sopii matematiikasta tai teoreettisesta tietojenkäsittelytieteestä kiinnostuneille jatko-opiskelijoille ja tutkijoille.