Rosser and mostowski sentences. - Franco Montagna; Giovanni Sommaruga (Arch. Math. Log., 1988)

A note on some extension results. - Franco Montagna; Giovanni Sommaruga (Stud Logica, 1990)

History and philosophy of constructive type theory. - Giovanni Sommaruga (Kluwer, 2000)

Introduction. - Giovanni Sommaruga (Formal Theories of Information, 2009)

One or Many Concepts of Information? - Giovanni Sommaruga (Formal Theories of Information, 2009)