Home
Presentation
Editorial Boards
Facts & policies
Ethics statement
Contact
Login
Archive
Authors
Submissions
Calls for papers
Guidelines
phenomenological
investigations
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