"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...

"Metamathematische Methoden in der Geometrie" von Michael Beeson ist ein umfassendes Werk, das sich mit der strukturellen und metamathematischen Analyse der euklidischen Geometrie befasst. In Teil I des Buches wird eine axiomatische...