Complete Bibliography
Works connected to Harvey Ernest Rose
Filter the Bibliography List
: “Sets, topoi, and internal logic in categories,” pp. 119–134 in Logic colloquium ’73 (Bristol, July 1973). Edited by H. E. Rose and J. C. Shepherdson. Studies in Logic and the Foundations of Mathematics 80. North-Holland (Amsterdam), 1975. MR 0384545 Zbl 0313.18001 incollection
