doorgaan naar inhoud
Types, tableaus, and Gödel's God Voorbeeldweergave van dit item
SluitenVoorbeeldweergave van dit item
Bezig met controle...

Types, tableaus, and Gödel's God

Auteur: Melvin Fitting
Uitgever: Dordrecht ; Boston : Kluwer Academic, ©2002.
Serie: Trends in logic, v. 12.
Editie/Formaat:   Boek : EngelsAlle edities en materiaalsoorten bekijken.
Database:WorldCat
Samenvatting:

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  Meer lezen...

Beoordeling:

(nog niet beoordeeld) 0 met beoordelingen - U bent de eerste

Onderwerpen
Meer in deze trant

 

Zoeken naar een online exemplaar

Links naar dit item

Zoeken naar een in de bibliotheek beschikbaar exemplaar

&AllPage.SpinnerRetrieving; Bibliotheken met dit item worden gezocht…

Details

Genoemd persoon: Kurt Gödel; Kurt Gödel; Kurt Gödel; Kurt Gödel; Kurt Gödel
Genre: Internetbron
Soort document: Boek, Internetbron
Alle auteurs / medewerkers: Melvin Fitting
ISBN: 1402006047 9781402006043
OCLC-nummer: 49719340
Beschrijving: xv, 180 p. : ill. ; 25 cm.
Inhoud: 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.
Serietitel: Trends in logic, v. 12.
Verantwoordelijkheid: Melvin Fitting.
Meer informatie:

Beoordelingen

Beoordelingen door gebruikers
Beoordelingen van GoodReads worden opgehaald...
Bezig met opvragen DOGObooks-reviews...

Tags

U bent de eerste.
Bevestig deze aanvraag

Misschien heeft u dit item reeds aangevraagd. Selecteer a.u.b. Ok als u toch wilt doorgaan met deze aanvraag.

Gekoppelde data


<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

Venster sluiten

Meld u aan bij WorldCat 

Heeft u geen account? U kunt eenvoudig een nieuwe gratis account aanmaken.