Labelled Deduction - Applied Logic Series - Luca Vigano - 書籍 - Springer - 9780792362371 - 2000年4月30日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Labelled Deduction - Applied Logic Series 2000 edition

価格
¥ 18.855
税抜

遠隔倉庫からの取り寄せ

発送予定日 年9月29日 - 年10月15日
Luca Vigano の新しいリリースのお知らせを受け取る
iMusicのウィッシュリストに追加

まだ評価がありません

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, biography

メディア 書籍     Hardcover Book   (ハードカバー付きの本)
リリース済み 2000年4月30日
ISBN13 9780792362371
出版社 Springer
ページ数 267
寸法 170 × 244 × 17 mm   ·   576 g
言語 英語  
編集者 Basin, David
編集者 D'Agostino, M.
編集者 Gabbay, Dov M.
編集者 Matthews, Sean
編集者 Vigano, Luca

Luca Viganoの他の作品を見る

すべて表示

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