分享给好友:
Proof Methods for Modal and Intuitionistic Logics - Synthese Library M. Fitting Softcover reprint of the original 1st ed. 1983 edition
价格
元 1.400
不含税
远程仓调货
预计送达时间 年7月20日 - 年7月30日
添加至iMusic心愿单
其他版本：
Proof Methods for Modal and Intuitionistic Logics - Synthese Library
M. Fitting
The ones we consider are: 1) tableau systems, 2) Gentzen sequent calculi, 3) natural deduction systems, and 4) axiom systems.
555 pages, biography
| 介质类型 | 图书 Paperback Book (平装胶订图书) |
| 已发行 | 2010年12月25日 |
| ISBN13 | 9789048183814 |
| 出版商 | Springer |
| 页数 | 555 |
| 商品尺寸 | 301 × 154 × 35 mm · 743 g |
| 语言 | 英语 |
M. Fitting的更多作品
显示全部![Cover for M. Fitting · Types, Tableaus, and Godel’s God - Trends in Logic (Paperback Book) [Softcover reprint of the original 1st ed. 2002 edition] (2012)](https://imusic.com.cn/local-image/images/item/original/123/9789401039123.jpg?m-fitting-2012-types-tableaus-and-godel-s-god-trends-in-logic-paperback-book&class=scaled&v=1583001926)
Mere med samme udgiver
![Cover for Carsten Rossi · Happiness Hacks: Das Anti-Digital-Detox-Buch: Wie digitale Medien Sie glucklich machen konnen (Paperback Book) [1. Aufl. 2025 edition] (2027)](https://imusic.com.cn/local-image/images/missing-tall.png)
查看M. Fitting的全部作品 ( 例如 Hardcover Book 及 Paperback Book )