“The book treats many of the standard topics from commutative algebra and projective modules in great detail, all using constructive methods. … The exhaustive bibliography draws both from classical and constructive mathematics. … This will be a great addition to the bookshelves of the community of constructive mathematicians.” (N. Mohan Kumar, Mathematical Reviews, October, 2016)

“The book has over 350 well-arranged exercises, together with helpful hints for solution. … Many methods, like lazy evaluation and dynamic evaluation, are discussed in great detail. … There is a detailed flow chart on chapter dependencies and the order in which chapters should be read. … The book will be useful for graduate students, as well as researchers, instructors, and theoretical computer scientists.” (Naga Narayanaswamy, Computing Reviews, February, 2016)

“The book under review is the faithful English translation of the original French edition published in 2011 under the same title. … No doubt, the English edition … will certainly increase both its international significance and its wider popularity among graduate students, researchers, instructors, and interested scientists in general.” (Werner Kleinert, zbMATH 1327.13001, 2016)