发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

Mac Lane Saunders and Moerdijk Ieke. Sheaves in geometry and logic. A first introduction to topos theory. Universitext. Springer-Verlag, New York, Berlin, etc., 1992, xii – 627 pp.

Mac Lane Saunders and Moerdijk Ieke. Sheaves in geometry and logic. A first introduction to topos theory. Universitext. Springer-Verlag, New York, Berlin, etc., 1992, xii – 627 pp.

Pitts, Andrew M.

期刊名称The Journal of Symbolic Logic
作者Pitts, Andrew M.
卷第60卷
期第1期
印刷ISSN0022-4812
电子ISSN1943-5886
文件大小433.59KB
发表时间1995-03
DOI10.2307/2275528
页码340-342

← 返回【学霸图书馆】主页