Yazar
Giovanni Sommaruga
10 cilt bulundu.
Cilt sonuçları
Foundational Theories of Classical and Constructive Mathematics
Giovanni Sommaruga · Springer
328 sayfa · 2011
Mathematics / Philosophy / Symbolic and mathematical Logic / Logic / Science
History and philosophy of constructive type theory
Giovanni Sommaruga · Kluwer Academic Publishers
354 sayfa · 2000
Type theory / Mathematics, philosophy
Turing’s Revolution
Giovanni Sommaruga, Thomas Strahm · Birkhäuser
329 sayfa · 2016
Computational complexity / Machine theory
Fixed point constructions in various theories of mathematical logic
Giovanni Sommaruga-Rosolemos · Bibliopolis
118 sayfa · 1991
Symbolic and mathematical Logic / Recursion theory / Modality (Logic)
Die Entstehung von Planetensystemen im Lichte neuer Entdeckungen
Ambros Luthi, Giovanni Sommaruga · Lang AG International Academic Publishers, Peter
178 sayfa · 1999
Planetary rings / Solar system