Giovanni Sommaruga (sommaruga-g)
My contributions 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. 1997.
“Truth, Proof, Reality.” Unpublished
manuscript.
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.