Axiomatic Thinking IFernando Ferreira, Reinhard Kahle, Giovanni Sommaruga · First published 2021Open the Tome
Axiomatic Thinking IIFernando Ferreira, Reinhard Kahle, Giovanni Sommaruga · First published 2021Open the Tome
Foundational Theories of Classical and Constructive MathematicsGiovanni Sommaruga · First published 2011Open the Tome
History and philosophy of constructive type theoryGiovanni Sommaruga · First published 2000Open the Tome
Die Entstehung von Planetensystemen im Lichte neuer EntdeckungenAmbros Luthi, Giovanni Sommaruga · First published 1999Open the Tome
Fixed point constructions in various theories of mathematical logicGiovanni Sommaruga-Rosolemos · First published 1991Open the Tome
