Giovanni Sommaruga
Giovanni Sommaruga
6 books in the database
Books
Foundational Theories of Classical and Constructive MathematicsGiovanni Sommaruga
Foundational Theories of Classical and Constructive Mathematics
Giovanni Sommaruga · 2011
Turing's RevolutionGiovanni Sommaruga
Turing's Revolution
Giovanni Sommaruga · 2016
History and philosophy of constructive type theoryGiovanni Sommaruga
History and philosophy of constructive type theory
Giovanni Sommaruga · 2013
History and Philosophy of Constructive Type Theory (SYNTHESE LIBRARY Volume 290)Giovanni Sommaruga
History and Philosophy of Constructive Type Theory (SYNTHESE LIBRARY Volume 290)
Giovanni Sommaruga · 2000
Turing’s RevolutionGiovanni Sommaruga
Turing’s Revolution
Giovanni Sommaruga · 2016
Formal Theories of InformationGiovanni Sommaruga
Formal Theories of Information
Giovanni Sommaruga · 2009
Co-authored books and collections
Books that list Giovanni Sommaruga among their authors but not as the lead author: co-written works, collections and compilations.
Axiomatic Thinking IIFernando Ferreira
Axiomatic Thinking II
Fernando Ferreira · 2021
Axiomatic Thinking IFernando Ferreira
Axiomatic Thinking I
Fernando Ferreira · 2021
Die Entstehung von Planetensystemen im Lichte neuer EntdeckungenAmbros Luthi
Die Entstehung von Planetensystemen im Lichte neuer Entdeckungen
Ambros Luthi · 1999