03G30, Categorical logic; topoi — 1 results found.
C. R. Math. Rep. Acad. Sci. Canada Vol. 34 (1) 2012, pp. 9–22
Joachim Lambek (Received: 2011/08/17)
No Abstract available

Mathematical Reports - Comptes rendus mathématiques
of the Academy of Science | de l'Académie des sciences