Joachim Lambek
1 Publikationen
Reflections on the categorical foundations of mathematics
2011
in: Foundational theories of classical and constructive mathematics, Berlin,
1 Publikationen
1 Publikationen
in: Foundational theories of classical and constructive mathematics, Berlin,
1 Publikationen