Sets, topoi, and internal logic in categories Export

@incollection{citeulike:2335020, address = {Amsterdam}, author = {Maclane, Saunders}, booktitle = {Logic Colloquium '73 (Bristol, 1973)}, citeulike-article-id = {2335020}, citeulike-linkout-0 = {http://www.ams.org/mathscinet-getitem?mr=384545}, citeulike-linkout-1 = {http://www.zentralblatt-math.org/zmath/en/search/?q=an:0313.18001&format=complete}, keywords = {\_copy, categorical\_logic, category\_theory, topos}, mrnumber = {MR384545}, pages = {119--134. Studies in Logic and the Foundations of Mathematics, Vol. 80}, posted-at = {2008-02-05 14:00:14}, priority = {2}, publisher = {North-Holland}, title = {Sets, topoi, and internal logic in categories}, url = {http://www.ams.org/mathscinet-getitem?mr=384545}, year = {1975} }

TY - CHAP ID - citeulike:2335020 L3 - citeulike-article-id:2335020 AD - Amsterdam EP - 134. Studies in Logic and the Foundations of Mathematics, Vol. 80 TI - Sets, topoi, and internal logic in categories PB - North-Holland T2 - Logic Colloquium '73 (Bristol, 1973) SP - 119 KW - _copy KW - categorical_logic KW - category_theory KW - topos AU - Maclane, Saunders PY - 1975/// UR - http://www.ams.org/mathscinet-getitem?mr=384545 ER -