Giovanni Sommaruga

Identifiers

Open LibraryOL2784538A

Top Subjects

Science (2)
Type theory (2)
Mathematics (2)
Philosophy (2)
Logic (2)
Astronomy - Solar System (1)
Mathematics / Logic (1)

Books by Giovanni Sommaruga

Total count: 9

Die Entstehung Von Planetensystemen Im Lichte Neuer EntdeckungenEin Rekursives Modell Und Wissenschaftsphilosophische Betrachtungen

Peter Lang Publishing1999-11-01
History and philosophy of constructive type theory

Kluwer Academic Publishers2000-01-01
History and Philosophy of Constructive Type Theory (SYNTHESE LIBRARY Volume 290)1 edition

Springer2000-02-01
Formal Theories of Information

Springer2009-08-29
Foundational Theories of Classical and Constructive Mathematics

Springer Science+Business Media B.V.2011-01-01
Turing's RevolutionThe Impact of His Ideas about Computability

Birkhauser Verlag2016-01-01
Turing’s RevolutionThe Impact of His Ideas about Computability

Birkhäuser2016-01-22
Axiomatic Thinking II

Springer International Publishing AG2021-01-01
Axiomatic Thinking I

Springer International Publishing AG2021-01-01