海外直订The Many Sides of Logic 逻辑的多方面
¥396.00
海外直订The Semantic Foundations of Logic Volume 1: Propositiona
¥553.00
【3-6周达】Paraconsistent Logic: Consistency, Contradiction and 【全球购】进口原版图书，预计3-6周左右到国内
¥857.00
预订 Modalities and Multimodalities 预订商品
¥1825
3-6周达 Contradictions, from Consistency to Inconsistency 9783 【全球购】进口原版图书，约3-6周到达国内后发出
¥1047
3-6周达 Contradictions, from Consistency to Inconsistency 9783 【全球购】进口原版图书，约3-6周到达国内后发出
¥1047
预订 The Semantic Foundations of Logic Volume 1: Propositional 【全球购】进口原版图书，约3-6周到达国内后发出
¥637.00
【预订】Methods and Applications of Mathematical Logic 978082185 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780821850763 Author 作者 Walter A. Carnielli Format 版本 平装-胶订 Pages Number 页数 250页 Publisher 出版社 American Mathematical Society (AMS) Publication Date 出版日期 1988-12-31 Language 语种 英语 Book Contents 内容简介 This volume constitutes the proceedings of the Seventh Latin American Symposium on Mathematical Logic, held July 29-August 2, 1985, at the University of Campinas in Brazil. Striking a balance between breadth of scope and depth of results, the papers in this collection range over a variety of topics in classical and non-classical logics. The book provides readers with an introduction to the active lines of research in mathematical logic and particularly emphasizes the connections to other fields, especially philosophy, computer science, and probability theory. The potential applicability of the mathematical methods studied in logic has b
¥506.00
¥2081
预订 The Many Sides of Logic [ISBN:9781904987789] 【全球购】进口原版图书，一般5-8周左右到国内
¥367.00
【预订】Analysis and Synthesis of Logics 9789048177257 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789048177257 Author 作者 Walter Carnielli Universidade Estadual de Campinas Centro d Format 版本 平装-胶订 Pages Number 页数 602页 Publisher 出版社 Springer Netherlands Publication Date 出版日期 2010-11-22 Shipping Weight 商品重量 923g Language 语种 英语 Book Contents 内容简介 Starting with simple examples showing the relevance of cutting and pasting logics, the monograph develops a mathematical theory of combining and decomposing logics, ranging from propositional and first-order based logics to higher-order based logics as well as to non-truth functional logics. The theory covers mechanisms for combining semantic structures and deductive systems either of the same or different nature (for instance, two Hilbert calculi or a Hilbert calculus and a tableau calculus). The important issue of preservation of properties is extensively addressed. For instance,
¥1825
预订 Analysis and Synthesis of Logics: How to Cut and Paste Re 【全球购】进口原版图书，约3-6周到达国内后发出
¥1363
海外直订Contradictions, from Consistency to Inconsistency 矛盾，从一致
¥1033
【预订】Contradictions, from Consistency to Inconsistency 978331 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319987965 Author 作者 Carnielli Format 版本 精装 Publication Date 出版日期 2018-10-10 Language 语种 英语 Book Contents 内容简介 This volume investigates what is beyond the Principle of Non-Contradiction. It features 14 papers on the foundations of reasoning, including logical systems and philosophical considerations. Coverage brings together a cluster of issues centered upon the variety of meanings of consistency, contradiction, and related notions.Most of the papers, but not all, are developed around the subtle distinctions between consistency and non-contradiction, as well as among contradiction, inconsistency, and triviality, and concern one of the above mentioned threads of the broadly understood non-contradiction principle and the related principle of explosion. Some others take a perspective that is not too far away from such themes, but with the freedom to tread new paths.Re
¥1217
【3-6周达】Model-Based Reasoning in Science and Technology: Abdu 【全球购】进口原版图书，预计3-6周左右到国内
¥2017
【预订】Paraconsistency 9781138466906 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138466906 Author 作者 Carnielli Format 版本 精装 Pages Number 页数 576页 Publisher 出版社 CRC Press Publication Date 出版日期 2019-11-29 Language 语种 英语 Book Contents 内容简介 This book presents a study on the foundations of a large class of paraconsistent logics from the point of view of the logics of formal inconsistency. It also presents several systems of non-standard logics with paraconsistent features.
¥2713
3-6周达 Analysis and Synthesis of Logics: How to Cut and Paste 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥1514
海外直订Contradictions, from Consistency to Inconsistency 矛盾，从一致
¥1033
【3-6周达】Paraconsistent Logic: Consistency, Contradiction and 【全球购】进口原版图书，预计3-6周左右到国内
¥1368
预订 Paraconsistency [ISBN:9781138466906] 【全球购】进口原版图书，一般5-8周左右到国内
¥2265
3-6周达 Model-Based Reasoning in Science and Technology [ISBN: 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥2017
按需印刷Paraconsistency:The Logical Way to the Inconsistent 预订，预计下单后2-3周左右发货！
¥2268
按需印刷Computability:Computable Functions, Logic, and the Found 预订，预计下单后3-4周左右发货！
¥500.34
预订 Computability: Computable Functions, Logic, and the Found 【全球购】进口原版图书，约3-6周到达国内后发出
¥474.00
【预订】Advances in Contemporary Logic and Computer Science 9780 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780821813645 Author 作者 Walter A. Carnielli Format 版本 平装-胶订 Pages Number 页数 326页 Publisher 出版社 American Mathematical Society (AMS) Publication Date 出版日期 1999-07-30 Language 语种 其它（含多语） Book Contents 内容简介 This volume presents the proceedings from the Eleventh Brazilian Logic Conference on Mathematical Logic held by the Brazilian Logic Society (co-sponsored by the Centre for Logic, Epistemology and the History of Science, State University of Campinas, S o Paolo) in Salvador, Bahia, Brazil. The conference and the volume are dedicated to the memory of professor M rio Tourasse Teixeira, an educator and researcher who contributed to the formation of several generations of Brazilian logicians. Contributions were made from leading Brazilian logicians and their Latin-American and European colleagues. All papers were selected by a
¥1467
预订 Modalities and Multimodalities 预订商品
¥1825
预订 Modalities and Multimodalities 预订商品
¥1825
