Types, Tableaus, and Godel’s God - Trends in Logic - M. Fitting - 書籍 - Springer - 9789401039123 - 2012年10月11日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

M. Fitting
Types, Tableaus, and Godel’s God - Trends in Logic Softcover reprint of the original 1st ed. 2002 edition

価格
¥ 18.011
税抜

遠隔倉庫からの取り寄せ

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

お客様の声：

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

まだ評価がありません

Gödel's modal ontological argument is the centrepiece of an extensive examination of intensional logic. A reader interested in (modal) type theory can safelyskip ontological issues, just as one interested in Gödel's argument can omit the more mathematical portions, such as the completeness proof for tableaus.

196 pages, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2012年10月11日
ISBN13 9789401039123
出版社 Springer
ページ数 181
寸法 160 × 240 × 11 mm   ·   285 g

M. Fittingの他の作品を見る

すべて表示

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

M. Fittingのすべてを見る