G
Giovanni Sommaruga
9 works on record
Works

Foundational Theories of Classical and Constructive Mathematics

Formal Theories of Information

Turing’s Revolution

Turing's Revolution
Die Entstehung von Planetensystemen im Lichte neuer Entdeckungen
Die Entstehung von Planetensystemen im Lichte neuer Entdeckungen

Axiomatic Thinking II

Axiomatic Thinking I

History and philosophy of constructive type theory

History and Philosophy of Constructive Type Theory (SYNTHESE LIBRARY Volume 290)