skip to content
Types, tableaus, and Gödel's God Preview this item
ClosePreview this item
Checking...

Types, tableaus, and Gödel's God

Author: Melvin Fitting
Publisher: Dordrecht ; Boston : Kluwer Academic, ©2002.
Series: Trends in logic, v. 12.
Edition/Format:   Book : EnglishView all editions and formats
Database:WorldCat
Summary:

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  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Named Person: Kurt Gödel; Kurt Gödel; Kurt Gödel; Kurt Gödel; Kurt Gödel
Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Melvin Fitting
ISBN: 1402006047 9781402006043
OCLC Number: 49719340
Description: xv, 180 p. : ill. ; 25 cm.
Contents: 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.
Series Title: Trends in logic, v. 12.
Responsibility: Melvin Fitting.
More information:

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


<http://www.worldcat.org/oclc/49719340>
library:oclcnum"49719340"
library:placeOfPublication
library:placeOfPublication
library:placeOfPublication
rdf:typeschema:MediaObject
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
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:isPartOf
schema:name"Types, tableaus, and Gödel's God"@en
schema:numberOfPages"180"
schema:publication
schema:publisher
schema:workExample
umbel:isLike<http://d-nb.info/970529112>
wdrs:describedby

Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.