跳至内容
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.
版本/格式:   圖書 : 英語所有版本和格式的總覽
資料庫: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系統控制編碼: 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的評論

標籤

成爲第一個
確認申請

你可能已經申請過這份資料。若還是想申請,請選確認。

連結資料


<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 

没有帳號嗎?你可很容易的 建立免費的帳號.