Simple Type Theory A Practical Logic For Expressing And Reasoning About Mathemat - William M. Farmer
由……售出:
CN¥624.00
目前缺货
+ CN¥101.49 送货
14天退货政策
付款方式：
- 品牌: Unbranded
产品详情
产品详情
Simple Type Theory A Practical Logic For Expressing And Reasoning About Mathemat - William M. Farmer
This Unique Textbook, In Contrast To A Standard Logic Text, Provides The Reader With A Logic That Actually Can Benbsp;nbsp;in Practice To Express And Reason About Mathematical Ideas.the Book Is An Introduction Tonbsp;simple Type Theory, A Classical Higher-order Version Of Predicate Logic That Extends First-order Logic. It Presents A Practice-oriented Logic Callednbsp;alonzonbsp;that Is Based On Alonzo Churchs Formulation Of Simple Type Theory Known Asnbsp;churchs Type Theory. Unlike Traditional Predicate Logics, Alonzo Admits Undefined Expressions.
- 品牌: Unbranded
- 类别: 参考
-
语言: English
-
作者: William M. Farmer
-
出版日期: 2024-01-03
-
页数: 312
-
出版社／标签: Springer Nature B.V
-
格式: Paperback
- Fruugo ID: 469769824-983724756
- ISBN: 9783031211140
配送
送货
在 -1 天内发货
-
STANDARD: CN¥101.49 - 之间的交付 周五 16 十月 2026–周四 22 十月 2026
从 英国 送货。
退货
退货
我们会争取将您订购的产品按照您的规格完整地配送给您。不过，万一您收到不完整的订单，或收到的产品与您订购的不同，或者有其他原因让您对订单不满意，您可以要求全部或部分退货，您将收到相应产品的全额退款。