Giovanni Sommaruga
Giovanni Sommaruga
6 ספרים במאגר
ספרים
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
ספרים משותפים ואוספים
ספרים שבהם Giovanni Sommaruga מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.
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