"Foundations of Constructive Analysis" von Michael Beeson ist ein grundlegendes Werk, das sich mit der konstruktiven Mathematik befasst, insbesondere mit der Analyse. In diesem Buch untersucht Beeson die Prinzipien und Methoden der...