Topoi: The Categorial Analysis of Logic

Topoi: The Categorial Analysis of Logic
分享
扫描下方二维码分享到微信
打开微信,点击右上角”+“,
使用”扫一扫“即可将网页分享到朋友圈。
作者:
出版社: Dover Publications
2006-04
版次: 1
ISBN: 9780486450261
定价: 255.80
装帧: 平装
开本: 其他
纸张: 其他
页数: 551页
正文语种: 英语
  • 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 I:Second Edition
Nathan Jacobson 著
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
Calculus:An Intuitive and Physical Approach
Morris Kline 著
Topoi: The Categorial Analysis of Logic
Introduction to Topology:Third Edition
Bert Mendelson 著
Topoi: The Categorial Analysis of Logic
A Book of Abstract Algebra(second edition):Second Edition
Charles C. Pinter 著
Topoi: The Categorial Analysis of Logic
Mathematics for the Nonmathematician
Morris Kline 著
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
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
The Thirteen Books of Euclid's Elements, Books 1 and 2
Euclid 著;Sir Thomas Heath 编
Topoi: The Categorial Analysis of Logic
General Topology
Stephen Willard 著
Topoi: The Categorial Analysis of Logic
Differential Geometry of Curves and Surfaces Se
Manfredo P. do Carmo 著
相关图书 / 更多
Topoi: The Categorial Analysis of Logic
杨绛日课全唐诗录
杨绛 录;钱锺书 选
Topoi: The Categorial Analysis of Logic
不为人知的张爱玲
陈子善
Topoi: The Categorial Analysis of Logic
威伯福斯传
埃里克·梅塔萨斯(Eric Metaxas) 著;李婧 译
Topoi: The Categorial Analysis of Logic
回望:近代一百年
马勇 著
Topoi: The Categorial Analysis of Logic
岩波新书:英国史10讲
近藤和彦
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
伟大的电影3
罗杰·伊伯特 著;宋嘉伟、李钰 译
Topoi: The Categorial Analysis of Logic
在阴影中绽放——中国日本绘画史上的女性
[美]魏玛莎 著;朱亮亮、吕维敏 译
Topoi: The Categorial Analysis of Logic
家族往事
[俄]亚历山德拉·利特维娜 文;[俄]阿尼娅·杰斯尼茨卡娅 图
您可能感兴趣 / 更多
Topoi: The Categorial Analysis of Logic
井喷与井控手册(第二版)
Robert D.Orace 著;穆增龙、李传华、李军 译
Topoi: The Categorial Analysis of Logic
神经血管外科学
Robert F. Spetzler;美国巴罗神经学研究所(BNI)名誉主任
Topoi: The Categorial Analysis of Logic
学习量子比特(影印版)
Robert S Sutor 著
Topoi: The Categorial Analysis of Logic
计算机科学导论:跨学科方法
Robert 著;Robert、Sedgewick、Kevin、Wayne、宫晓利 郭宇飞 曹丁元 张金 译
Topoi: The Categorial Analysis of Logic
理论统计(英文版)
Robert、W.Keener 著
Topoi: The Categorial Analysis of Logic
Criminal Justice: A Very Short Introduction
Roberts, Julian V
Topoi: The Categorial Analysis of Logic
Transformers: IDW Collection Phase Two Volume 1
Roberts, James;Barber, John;Roche, Nick;Milne, Alex;Griffith, Andrew
Topoi: The Categorial Analysis of Logic
Audubon'sAviary:theOriginalWatercolorsfortheBirdsofAmerica[SpecialEdition]
Roberta Olson、Majorie Shelley 著
Topoi: The Categorial Analysis of Logic
When I Was a Child I Read Books Essays
Robinson, Marilynne
Topoi: The Categorial Analysis of Logic
TheChocolateWar
Robert Cormier(罗伯特·科米尔) 著
Topoi: The Categorial Analysis of Logic
StoppingByWoodsonaSnowyEvening
Robert Frost 著
Topoi: The Categorial Analysis of Logic
SlowWaltzinCedarBend
Robert James Waller 著