Douglas Bridges : Varieties of constructive mathematics

Douglas Bridgesin Varieties of constructive mathematics tarjoaa kattavan johdatuksen konstruktivistisiin matematiikan suuntauksiin, esitellen muun muassa Bishopin, intuitionistisen ja venäläisen konstruktivismin näkemyksiä sekä vertaillen niiden eroja. Kirja toimii laaja-alaisena katsauksena matematiikan konstruktivistisiin lähestymistapoihin kiinnostuneille logiikan, kategoriateorian ja teoreettisen tietojenkäsittelytieteen piirissä.

Suitable for: Matematiikan ja logiikan harrastajille, erityisesti konstruktivismista kiinnostuneille aikuisille.