Repository | Directory | Profile
Joachim Lambek
(2010-2019)
XReflections on the categorical foundations of mathematics
2011
in: Foundational theories of classical and constructive mathematics, Dordrecht : Springer
Repository | Directory | Profile
(2010-2019)
XReflections on the categorical foundations of mathematics
2011
in: Foundational theories of classical and constructive mathematics, Dordrecht : Springer