Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
1 to 1 of 1
* _Topoi: The Categorial Analysis of Logic_ , 2nd ed. North-Holland Amsterdam 1984. ([Dover reprint](https://store.doverpublications.com/0486450260.html) New York 2006; [Project Euclid](http://projecteuclid.org/euclid.bia/1403013939)) <a href="https://ncatlab.org/nlab/revision/diff/Robert+Goldblatt/4">diff</a>, <a href="https://ncatlab.org/nlab/revision/Robert+Goldblatt/4">v4</a>, <a href="https://ncatlab.org/nlab/show/Robert+Goldblatt">current</a>
diff, v4, current