Repository | Directory | Profile
Conclusion
2011
Giovanni Sommaruga John L. Bell
in: Foundational theories of classical and constructive mathematics, Dordrecht : Springer
Foundational theories of classical and constructive mathematics
herausgegeben vonGiovanni Sommaruga
Dordrecht, Springer
History and philosophy of constructive type theory
2000
Giovanni Sommaruga