Logic, Construction, Computation - Ontos Mathematical Logic - - 图书 - De Gruyter - 9783110324532 - 2012年7月20日
如封面与标题不符，以标题为准

Logic, Construction, Computation - Ontos Mathematical Logic

价格
元 1.526
不含税

远程仓调货

预计送达时间 年6月16日 - 年6月26日

顾客评价：

根据欧洲消费者保护法享受14天退换货政策
Trustpilot平台高分认证
添加至iMusic心愿单

Over the last few decades the interest of logicians and mathematicians in constructive and computational aspects of their subjects has been steadily growing. This volume contains 20 articles from experts about developments in Constructive set theory, Provably recursive functions, Program extraction, Theories of truth, and Constructive mathematics.

介质类型 图书     Hardcover Book   (精装硬皮书)
已发行 2012年7月20日
ISBN13 9783110324532
出版商 De Gruyter
页数 542
商品尺寸 150 × 220 × 20 mm   ·   826 g
语言 德语  
编辑 Berger, Ulrich
编辑 Diener, Hannes
编辑 Schuster, Peter
编辑 Seisenberger, Monika

Mere med samme udgiver