Methods of Cut-elimination - Trends in Logic - Matthias Baaz - 書籍 - Springer - 9789400734975 - 2013年2月25日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Matthias Baaz
Methods of Cut-elimination - Trends in Logic 2011 edition

価格
¥ 16.456
税抜

遠隔倉庫からの取り寄せ

発送予定日 年10月23日 - 年11月4日
Matthias Baaz の新しいリリースのお知らせを受け取る

お客様の声：

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

まだ評価がありません

他の形態でも入手可能：

This book offers a thorough, rigorous analysis of reductive cut-elimination methods and an in-depth presentation of the recent method CERES developed by the authors. It includes several applications of CERES and an extension of CERES to non-classical logics.

296 pages, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2013年2月25日
ISBN13 9789400734975
出版社 Springer
ページ数 296
寸法 156 × 234 × 15 mm   ·   417 g
言語 英語  

Matthias Baazの他の作品を見る

すべて表示

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

Matthias Baazのすべてを見る