Books by Giovanni Sommaruga
Axiomatic Thinking I
Axiomatic Thinking II
Turing's Revolution
History and philosophy of constructive type theory
Foundational Theories of Classical and Constructive Mathematics
History and Philosophy of Constructive Type Theory (SYNTHESE LIBRARY Volume 290)
Die Entstehung von Planetensys
Die Entstehung von Planetensystemen im Lichte neuer Entdeckungen