Metodo
International Studies in Phenomenology and Philosophy
Journal | Authors
Conclusion
2011
Giovanni Sommaruga John L. Bell
in: Foundational theories of classical and constructive mathematics, Dordrecht : Springer
Foundational theories of classical and constructive mathematics
edited byGiovanni Sommaruga
Dordrecht, Springer
History and philosophy of constructive type theory
2000
Giovanni Sommaruga
