Kein Profilbild | No profile picture | Utilisateur n'as pas d'image
https://philosophie.ch/profil/sommaruga-g

Giovanni Sommaruga (sommaruga-g)

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.