STORE
search
⌘K
Explore
Salon
Quotes
Lists
Reviews
Writings
—
Changelog
About
Contact
Privacy
Donate
Giovanni Sommaruga | lit.salon
Giovanni Sommaruga
No bio available.
Add one in Open Library.
Books by Giovanni Sommaruga (50 max)
+ shelf
+ list
History and philosophy of constructive type theory
2000
Giovanni Sommaruga
+ shelf
+ list
Foundational Theories of Classical and Constructive Mathematics
2011
Giovanni Sommaruga
+ shelf
+ list
Turing's Revolution The Impact of His Ideas about Computability
2016
Giovanni Sommaruga, Thomas Strahm
+ shelf
+ list
Axiomatic Thinking II
2021
Fernando Ferreira, Reinhard Kahle, Giovanni Sommaruga
+ shelf
+ list
Axiomatic Thinking I
2021
Fernando Ferreira, Reinhard Kahle, Giovanni Sommaruga
+ shelf
+ list
Die Entstehung Von Planetensystemen Im Lichte Neuer Entdeckungen: Ein Rekursives Modell Und Wissenschaftsphilosophische Betrachtungen
1999
Ambros Luthi, Giovanni Sommaruga
+ shelf
+ list
History and Philosophy of Constructive Type Theory (SYNTHESE LIBRARY Volume 290)
2000
Giovanni Sommaruga
+ shelf
+ list
Formal Theories of Information
2009
Giovanni Sommaruga
+ shelf
+ list
Turing’s Revolution : The Impact of His Ideas about Computability
2016
Giovanni Sommaruga, Thomas Strahm
