David Basin
Labelled Deduction - Applied Logic Series David Basin Softcover reprint of the original 1st ed. 2000 edition

Name: Labelled Deduction - Applied Logic Series
Price: 728 CNY
Availability: OutOfStock
Author: David Basin

价格

元 728

不含税

远程仓调货

预计送达时间年6月15日 - 年6月25日

顾客评价：

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

根据欧洲消费者保护法享受14天退换货政策

Trustpilot平台高分认证

添加至iMusic心愿单

Labelled Deduction - Applied Logic Series

David Basin

Softcover reprint of the original 1st ed. 2000 edition

Labelled deduction is an approach to providing frameworks for presenting and using different logics in a uniform and natural way by enriching the language of a logic with additional information of a semantic proof-theoretical nature.

278 pages, black & white illustrations, bibliography

介质类型	图书 Paperback Book (平装胶订图书)
已发行	2012年10月8日
ISBN13	9789401057813
出版商	Springer
页数	267
商品尺寸	155 × 235 × 15 mm · 399 g
编辑	Basin, David
编辑	D'Agostino, M.
编辑	Gabbay, Dov M.
编辑	Matthews, Sean
编辑	Vigano, Luca