Giovanni Sommaruga

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