コンテンツへ移動
Types, tableaus, and Gödel's God 資料のプレビュー
閉じる資料のプレビュー
確認中…

Types, tableaus, and Gödel's God

著者: Melvin Fitting
出版: Dordrecht ; Boston : Kluwer Academic, ©2002.
シリーズ: Trends in logic, v. 12.
エディション/フォーマット:   書籍 : Englishすべてのエディションとフォーマットを見る
データベース:WorldCat
概要:

Godel's modal ontological argument is the centerpiece of an extensive examination of intensional logic. This title presents classical type theory, introduces tableau rules for it and gives the proof  続きを読む

評価:

(まだ評価がありません) 0 件のレビュー - 是非あなたから!

件名:
関連情報:

 

オンラインで入手

この資料へのリンク

オフラインで入手

&AllPage.SpinnerRetrieving; この資料の所蔵館を検索中…

詳細

関連の人物: Kurt Gödel; Kurt Gödel; Kurt Gödel; Kurt Gödel; Kurt Gödel
資料の種類: インターネット資料
ドキュメントの種類: 図書, インターネットリソース
すべての著者/寄与者: Melvin Fitting
ISBN: 1402006047 9781402006043
OCLC No.: 49719340
物理形態: xv, 180 p. : ill. ; 25 cm.
コンテンツ: Preface. Part I: Classical Logic. 1. Classical Logic - Syntax. 2. Classical Logic - Semantics. 3. Classical Logic - Basic Tableaus. 4. Soundness and Completeness. 5. Equality. 6. Extensionality. Part II: Modal Logic. 7. Modal Logic, Syntax and Semantics. 8. Modal Tableaus. 9. Miscellaneous Matters. Part III: Ontological Arguments. 10. Godel's Argument, Background. 11. Godel's Argument, Formally. References. Index.
シリーズタイトル: Trends in logic, v. 12.
責任者: Melvin Fitting.
その他の情報:

レビュー

ユーザーレビュー
GoodReadsのレビューを取得中…
DOGObooksのレビューを取得中…

タグ

まずはあなたから!
リクエストの確認

あなたは既にこの資料をリクエストしている可能性があります。このリクエストを続行してよろしければ、OK を選択してください。

リンクデータ


<http://www.worldcat.org/oclc/49719340>
library:oclcnum"49719340"
library:placeOfPublication
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/49719340>
rdf:typeschema:Book
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
<http://id.worldcat.org/fast/944109>
rdf:typeschema:Intangible
schema:name"God--Proof, Ontological"@en
schema:name"God--Proof, Ontological."@en
schema:about
schema:about
schema:about
schema:about
schema:copyrightYear"2002"
schema:creator
schema:datePublished"2002"
schema:exampleOfWork<http://worldcat.org/entity/work/id/39256364>
schema:inLanguage"en"
schema:name"Types, tableaus, and Gödel's God"@en
schema:numberOfPages"180"
schema:publisher
schema:url
schema:workExample
umbel:isLike<http://d-nb.info/970529112>

Content-negotiable representations

ウインドウを閉じる

WorldCatにログインしてください 

アカウントをお持ちではないですか?簡単に 無料アカウントを作成することができます。.