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
The Thirteen Books of Euclid's Elements, Books 1 and 2
Euclid 著;Sir Thomas Heath 编
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
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
Elements of the Theory of Functions and Functional Analysis
A.N.Kolmogorov、S.V.Fomin 著
Topoi: The Categorial Analysis of Logic
Differential Geometry of Curves and Surfaces Se
Manfredo P. do Carmo 著
Topoi: The Categorial Analysis of Logic
General Topology
Stephen Willard 著
相关图书 / 更多
Topoi: The Categorial Analysis of Logic
寻琴者
郭强生 著
Topoi: The Categorial Analysis of Logic
一日三秋
刘震云
Topoi: The Categorial Analysis of Logic
喜智与悲智:杨绛的文学世界(杨绛诞辰110周年纪念)
吕约 著
Topoi: The Categorial Analysis of Logic
鹤见俊辅传
黑川创 著;一頁folio 出品
Topoi: The Categorial Analysis of Logic
唐代铨选与文学(精装)
王勋成 著
Topoi: The Categorial Analysis of Logic
玉山丹池(石听泉、卜正民、王立群、梅新林、徐永明等海内外学者联袂推荐)
Hargett 著;冯乃希 译;[美]何瞻(James;M
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
本杰明行纪(丝路历史名著丛书)
[西]拉比·本杰明(Rabbi Benjamin) 著;李大伟 译
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 著