图书简介
This edited collection bridges the foundations and practice of constructive mathematics. Aimed at academic logicians, mathematicians, philosophers and computer scientists. Including, with contributions from leading researchers, it is up-to-date, highly topical and broad in scope.
馆藏图书馆
Yale University Library
Princeton University Library
Introduction; Douglas Bridges: Errett Bishop; 1 Michael Rathjen: Generalized Inductive Definitions in Constructive Set Theory; 2 Alex Simpson: Constructive Set Theories and their Category-theoretic Models; 3 Nicola Gambino: Presheaf models for Constructive Set Theories; 4 Thomas Streicher: Universes in Toposes; 5 Maria Emilia Maietti & Giovanni Sambin: Toward a minimalistic foundation for constructive mathematics; 6 Peter Hancock & Anton Setzer: Interactive Programs and Weakly Final Coalgebras in Dependent Type Theory; 7 Ulrich Berger and Monika Seisenberger: Applications of inductive definitions and choice principles to program synthesis; 8 Sara Negri and Jan von Plato: The duality of lcassical and constructive notions and proofs; 9 Erik Palmgren: Continuity on the real line and in formal spaces; 10 Peter Aczel & Christopher Fox: Separation Properties in Constructive Topology; 11 A. Bucalo & G. Rosolini: Spaces as comonoids; 12 Maria Emilia Maietti: Predicative exponentiation of locally compact formal topologies over inductively generated ones; 13 Stephen Vickers: Some constructive roads to Tychonoff; 14 Thierry Coquand, Henri Lombardi & Marie-Francoise Roy: An elementary characterisation of Krull dimension; 15 Hajime Ishihara: Constructive reverse mathematics: compactness properties; 16 Bas Spitters: Approximating integrable sets by compacts constructively; 17 Hiroki Takamura: An introduction to the theory of c*-algegras in constructive mathematics; 18 Douglas Bridges & Robin Havea: Approximations to the numerical range of an element of a Banach algebra; 19 Douglas Bridges & Luminita Vita: The constructive uniqueness of the locally convex topology on rn; 20 Vasco Brattka: Computability on Non-Separable Banach Spaces and Landau’s Theorem
Trade Policy 买家须知
- 关于产品:
- ● 正版保障:本网站隶属于中国国际图书贸易集团公司,确保所有图书都是100%正版。
- ● 环保纸张:进口图书大多使用的都是环保轻型张,颜色偏黄,重量比较轻。
- ● 毛边版:即书翻页的地方,故意做成了参差不齐的样子,一般为精装版,更具收藏价值。
关于退换货:
- 由于预订产品的特殊性,采购订单正式发订后,买方不得无故取消全部或部分产品的订购。
- 由于进口图书的特殊性,发生以下情况的,请直接拒收货物,由快递返回:
- ● 外包装破损/发错货/少发货/图书外观破损/图书配件不全(例如:光盘等)
并请在工作日通过电话400-008-1110联系我们。
- 签收后,如发生以下情况,请在签收后的5个工作日内联系客服办理退换货:
- ● 缺页/错页/错印/脱线
关于发货时间:
- 一般情况下:
- ●【现货】 下单后48小时内由北京(库房)发出快递。
- ●【预订】【预售】下单后国外发货,到货时间预计5-8周左右,店铺默认中通快递,如需顺丰快递邮费到付。
- ● 需要开具发票的客户,发货时间可能在上述基础上再延后1-2个工作日(紧急发票需求,请联系010-68433105/3213);
- ● 如遇其他特殊原因,对发货时间有影响的,我们会第一时间在网站公告,敬请留意。
关于到货时间:
- 由于进口图书入境入库后,都是委托第三方快递发货,所以我们只能保证在规定时间内发出,但无法为您保证确切的到货时间。
- ● 主要城市一般2-4天
- ● 偏远地区一般4-7天
关于接听咨询电话的时间:
- 010-68433105/3213正常接听咨询电话的时间为:周一至周五上午8:30~下午5:00,周六、日及法定节假日休息,将无法接听来电,敬请谅解。
- 其它时间您也可以通过邮件联系我们:customer@readgo.cn,工作日会优先处理。
关于快递:
- ● 已付款订单:主要由中通、宅急送负责派送,订单进度查询请拨打010-68433105/3213。
本书暂无推荐
本书暂无推荐