Proof Methods for Modal and Intuitionistic Logics - Synthese Library - M. Fitting - 書籍 - Springer - 9789027715739 - 1983年4月30日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

M. Fitting
Proof Methods for Modal and Intuitionistic Logics - Synthese Library 1983 edition

価格
¥ 33.539
税抜

遠隔倉庫からの取り寄せ

発送予定日 年8月12日 - 年8月24日
M. Fitting の新しいリリースのお知らせを受け取る

お客様の声：

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

まだ評価がありません

他の形態でも入手可能：

The ones we consider are: 1) tableau systems, 2) Gentzen sequent calculi, 3) natural deduction systems, and 4) axiom systems.

555 pages, biography

メディア 書籍     Hardcover Book   (ハードカバー付きの本)
リリース済み 1983年4月30日
ISBN13 9789027715739
出版社 Springer
ページ数 555
寸法 210 × 297 × 31 mm   ·   966 g
言語 英語  

M. Fittingの他の作品を見る

すべて表示

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

M. Fittingのすべてを見る ( 例： Hardcover Book および Paperback Book )