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: 17049 JPY
Availability: OutOfStock
Author: David Basin

価格

¥ 17.049

税抜

遠隔倉庫からの取り寄せ

発送予定日年6月15日 - 年6月25日

お客様の声：

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

EU消費者保護法に基づく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