passa ai contenuti
Types, tableaus, and Gödel's God Anteprima di questo documento
ChiudiAnteprima di questo documento
Stiamo controllando…

Types, tableaus, and Gödel's God

Autore: Melvin Fitting
Editore: Dordrecht ; Boston : Kluwer Academic, ©2002.
Serie: Trends in logic, v. 12.
Edizione/Formato:   Libro : EnglishVedi tutte le edizioni e i formati
Banca dati:WorldCat
Sommario:

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  Per saperne di più…

Voto:

(non ancora votato) 0 con commenti - Diventa il primo.

Soggetti
Altri come questo

 

Trova una copia online

Collegamenti a questo documento

Trova una copia in biblioteca

&AllPage.SpinnerRetrieving; Stiamo ricercando le biblioteche che possiedono questo documento…

Dettagli

Persona incaricata: Kurt Gödel; Kurt Gödel; Kurt Gödel; Kurt Gödel; Kurt Gödel
Tipo materiale: Risorsa internet
Tipo documento: Book, Internet Resource
Tutti gli autori / Collaboratori: Melvin Fitting
ISBN: 1402006047 9781402006043
Numero OCLC: 49719340
Descrizione: xv, 180 p. : ill. ; 25 cm.
Contenuti: 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.
Titolo della serie: Trends in logic, v. 12.
Responsabilità: Melvin Fitting.
Maggiori informazioni:

Commenti

Commenti degli utenti
Recuperando commenti GoodReads…
Stiamo recuperando commenti DOGObooks

Etichette

Diventa il primo.
Conferma questa richiesta

Potresti aver già richiesto questo documento. Seleziona OK se si vuole procedere comunque con questa richiesta.

Dati collegati


<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

Chiudi finestra

Per favore entra in WorldCat 

Non hai un account? Puoi facilmente crearne uno gratuito.