Menu
About project
Bibliography
Publications
Literature
Chronique
Research
People
Events
Bühleriana
Login
EN
|
DE
karl bühler digital
Home
>
People
> Profile
Profile
Publications
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
