Labelled Non-Classical Logics - Luca Vigano - 書籍 - Springer-Verlag New York Inc. - 9781441949622 - 2010年12月3日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Luca Vigano
Labelled Non-Classical Logics Softcover reprint of the original 1st ed. 2000 edition

価格
¥ 30.224
税抜

遠隔倉庫からの取り寄せ

発送予定日 年8月11日 - 年8月27日
Luca Vigano の新しいリリースのお知らせを受け取る

お客様の声：

EU消費者保護法に基づく14日間の返品ポリシー
Trustpilotで高評価
iMusicのウィッシュリストに追加

まだ評価がありません

他の形態でも入手可能：

Labelling was used in many different areas such as resource labelling in relevance logics, prefix tableaux in modal logics, annotated logic programs in logic programming, proof tracing in truth maintenance systems, and various side annotations in higher-order proof theory, arithmetic and analysis.

292 pages, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2010年12月3日
ISBN13 9781441949622
出版社 Springer-Verlag New York Inc.
ページ数 292
寸法 155 × 235 × 16 mm   ·   435 g
言語 英語  

同じ出版社からのその他の記事

Luca Viganoのすべてを見る ( 例： Hardcover Book および Paperback Book )