Giovanni Sommaruga (sommaruga-g)
Email:
sommarug(at)ethz.ch
Mentioned on the following portal pages
Our Articles, Swiss Society of Logic and Philosophy of Science, Philosophie in / à Fribourg, Philosophie der Mathematik, Philosophie im AlltagContributions to Philosophie.ch
Bibliography
Sommaruga, Giovanni. 1991. Fixed Point Constructions in Various Theories of Mathematical Logic. Napoli: Bibliopolis. Published under the name “Giovanni Sommaruga-Rosolemos”.
Sommaruga, Giovanni. 2000a. History and Philosophy of Constructive Type Theory. Synthese Library n. 290. Dordrecht: Kluwer Academic Publishers.
Sommaruga, Giovanni. 2000b. “The Nature of Mathematical Objects in Proclus and in Contemporary Philosophy of Mathematics.” in La philosophie des mathématiques de l’Antiquité tardive. Actes du colloque international Fribourg, Suisse (24-26 septembre 1998), edited by Gerard Bechtle and Dominic J. O’Meara, pp. 195–212. Fribourg: Éditions universitaires.
Sommaruga, Giovanni, ed. 2011. Foundational Theories of Classical and Constructive Mathematics. The University of Western Ontario Series in Philosophy of Science n. 76. Dordrecht: Springer.
Sommaruga, Giovanni. 2017. “Philosophie der Mathematik.” Philosophie.ch, the Swiss Portal for Philosophy, https://www.philosophie.ch/de/2017-07-06-sommaruga.