Celebratio Mathematica

Saunders Mac Lane


Works connected to Harvey Ernest Rose

Filter the Bibliography List


S. MacLane: “Sets, topoi, and in­tern­al lo­gic in cat­egor­ies,” pp. 119–​134 in Lo­gic col­loqui­um ’73 (Bris­tol, Ju­ly 1973). Edi­ted by H. E. Rose and J. C. Shep­herd­son. Stud­ies in Lo­gic and the Found­a­tions of Math­em­at­ics 80. North-Hol­land (Am­s­ter­dam), 1975. MR 0384545 Zbl 0313.​18001 incollection