Topoi: The Categorial Analysis of Logic

Topoi: The Categorial Analysis of Logic
分享
扫描下方二维码分享到微信
打开微信,点击右上角”+“,
使用”扫一扫“即可将网页分享到朋友圈。
作者:
出版社: Dover Publications
2006-04
版次: 1
ISBN: 9780486450261
定价: 255.80
装帧: 平装
开本: 其他
纸张: 其他
页数: 551页
正文语种: 英语
2人买过
  • Aclassicintroductiontomathematicallogicfromtheperspectiveofcategorytheory,thistextissuitableforadvancedundergraduatesandgraduatestudentsandaccessibletobothphilosophicallyandmathematicallyorientedreaders.Itsapproachmovesalwaysfromtheparticulartothegeneral,followingthroughthestepsoftheabstractionprocessuntiltheabstractconceptemergesnaturally.
    Beginningwithasurveyofsettheoryanditsroleinmathematics,thetextproceedstodefinitionsandexamplesofcategoriesandexplainstheuseofarrowsinplaceofset-membership.Theintroductiontotoposstructurecoverstoposlogic,algebraofsubobjects,andintuitionismanditslogic,advancingtotheconceptoffunctors,setconceptsandvalidity,andelementarytruth.Explorationsofcategorialsettheory,localtruth,andadjointnessandquantifiersconcludewithastudyoflogicalgeometry.
  • 内容简介:
    Aclassicintroductiontomathematicallogicfromtheperspectiveofcategorytheory,thistextissuitableforadvancedundergraduatesandgraduatestudentsandaccessibletobothphilosophicallyandmathematicallyorientedreaders.Itsapproachmovesalwaysfromtheparticulartothegeneral,followingthroughthestepsoftheabstractionprocessuntiltheabstractconceptemergesnaturally.
    Beginningwithasurveyofsettheoryanditsroleinmathematics,thetextproceedstodefinitionsandexamplesofcategoriesandexplainstheuseofarrowsinplaceofset-membership.Theintroductiontotoposstructurecoverstoposlogic,algebraofsubobjects,andintuitionismanditslogic,advancingtotheconceptoffunctors,setconceptsandvalidity,andelementarytruth.Explorationsofcategorialsettheory,localtruth,andadjointnessandquantifiersconcludewithastudyoflogicalgeometry.
查看详情
目前没有书店销售此书
系列丛书 / 更多
Topoi: The Categorial Analysis of Logic
Basic Algebra II:Second Edition
Nathan Jacobson 著
Topoi: The Categorial Analysis of Logic
One, Two, Three...Infinity:Facts and Speculations of Science
George Gamow 著
Topoi: The Categorial Analysis of Logic
Basic Algebra I:Second Edition
Nathan Jacobson 著
Topoi: The Categorial Analysis of Logic
Mathematics for the Nonmathematician
Morris Kline 著
Topoi: The Categorial Analysis of Logic
Dynamic Optimization, 2nd Edition
Morton I. Kamien 著
Topoi: The Categorial Analysis of Logic
The Thirteen Books of Euclid's Elements, Books 1 and 2
Euclid 著;Sir Thomas Heath 编
Topoi: The Categorial Analysis of Logic
Calculus of Variations
I. M. Gelfand 著
Topoi: The Categorial Analysis of Logic
The Thirteen Books of the Elements (Euclid, Vol. 2--Books III-IX):Books of Euclids Elements
Euclid 著;Thomas L.Heath 编
Topoi: The Categorial Analysis of Logic
Complex Variables,2nd Edition(Dover Books on Mathematics)
Stephen D.Fisher 著
Topoi: The Categorial Analysis of Logic
A Book of Abstract Algebra(second edition):Second Edition
Charles C. Pinter 著
Topoi: The Categorial Analysis of Logic
Ordinary Differential Equations
Morris、Harry Pollard 著
Topoi: The Categorial Analysis of Logic
Elements of the Theory of Functions and Functional Analysis
A.N.Kolmogorov、S.V.Fomin 著
相关图书 / 更多
Topoi: The Categorial Analysis of Logic
我们八月见(加西亚·马尔克斯逝世十周年,遗作小说全球同步首发。饿的时候才吃饭,爱的时候不必撒谎)
加西亚·马尔克斯 著;新经典 出品
Topoi: The Categorial Analysis of Logic
富马利中国见闻录
[美]富马利
Topoi: The Categorial Analysis of Logic
中国山水画对谈录(跟随十位大师,走近山水画世界)
许钦松 编著
Topoi: The Categorial Analysis of Logic
街头官僚:公共服务中的个人困境
[美]迈克尔·李普斯基(Michael Lipsky)
Topoi: The Categorial Analysis of Logic
少数派的感受
[美]凯茜·帕克·洪
Topoi: The Categorial Analysis of Logic
海外中国研究·卿本著者:明清女性的性别身份、能动主体和文学书写
[加拿大]方秀洁 著;陈昉昊 译;周睿
Topoi: The Categorial Analysis of Logic
裙子的文化史:从中世纪至今
[法]乔治·维加埃罗 著;刘康宁 译
Topoi: The Categorial Analysis of Logic
影子母亲:保姆、换工与育儿中的微观政治(薄荷实验)
[美]卡梅隆·林·麦克唐纳 著;杨可 译
Topoi: The Categorial Analysis of Logic
逃出瓶子的精灵:一部关于“我”的哲学史
[荷兰]戈尔·格罗特
Topoi: The Categorial Analysis of Logic
世界的尽头是一杯好咖啡
临风君
Topoi: The Categorial Analysis of Logic
【贝页】消失中的食物:除了美味,我们还将失去什么
丹·萨拉迪诺
Topoi: The Categorial Analysis of Logic
我该走了吗
李翊云
您可能感兴趣 / 更多
Topoi: The Categorial Analysis of Logic
生活研究致联邦死者(美国自白派诗歌的开山之作,鲁迅文学奖翻译奖得主杨铁军最新力作)
Robert Lowell
Topoi: The Categorial Analysis of Logic
苔藓森林(自然文库)
Robin Wall Kimmerer
Topoi: The Categorial Analysis of Logic
皮肤镜诊断精要与图解
Robert H. Johr 主编;Wilhelm Stolz 主译;徐峰 崔勇 孟如松
Topoi: The Categorial Analysis of Logic
成人心脏外科围手术期管理 (原著第6版)
Robert M. Bojar
Topoi: The Categorial Analysis of Logic
现代脊柱畸形诊疗:理论、实践与循证医学
Robert Dickson Juergen Harms 编著
Topoi: The Categorial Analysis of Logic
脑干手术彩色图谱
Robert F. Spetzler(美 M. Yashar S. Kalani美 Peter Nakaji美 Kaan Ya.murlu美) 编著
Topoi: The Categorial Analysis of Logic
如何罚点球——隐藏在体育中的数学
Rob Eastaway
Topoi: The Categorial Analysis of Logic
启示录:一战时期的华沙
Robert Blobaum
Topoi: The Categorial Analysis of Logic
人类的演化
Robert Boyd
Topoi: The Categorial Analysis of Logic
治理与社会领导力
Robert A. Campbell
Topoi: The Categorial Analysis of Logic
生态学背景——概念与理论
Robert、P.、McIntosh 著
Topoi: The Categorial Analysis of Logic
理论统计(英文版)
Robert、W.Keener 著