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
Show all abstracts
C. R. Math. Rep. Acad. Sci. Canada Vol. 34 (1) 2012, pp. 9–22
Joachim Lambek (Received: 2011/08/17)