phenomenological
investigations

Home > People > Profile

Giovanni Sommaruga

2 Publications

Foundational theories of classical and constructive mathematics

Giovanni Sommaruga (ed)

Springer - Berlin

2011

History and philosophy of constructive type theory

Giovanni Sommaruga

Springer - Berlin

2000

2 Publications