aller au contenu
Types, tableaus, and Gödel's God Aperçu de cet ouvrage
FermerAperçu de cet ouvrage
Vérifiant…

Types, tableaus, and Gödel's God

Auteur : Melvin Fitting
Éditeur : Dordrecht ; Boston : Kluwer Academic, ©2002.
Collection : Trends in logic, v. 12.
Édition/format :   Livre : AnglaisVoir toutes les éditions et les formats
Base de données :WorldCat
Résumé :

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  Lire la suite...

Évaluation :

(pas encore évalué) 0 avec des critiques - Soyez le premier.

Sujets
Plus comme ceci

 

Trouver un exemplaire en ligne

Liens vers cet ouvrage

Trouver un exemplaire dans la bibliothèque

&AllPage.SpinnerRetrieving; Recherche de bibliothèques qui possèdent cet ouvrage...

Détails

Personne nommée : Kurt Gödel; Kurt Gödel; Kurt Gödel; Kurt Gödel; Kurt Gödel
Type d’ouvrage : Ressource Internet
Format : Livre, Ressource Internet
Tous les auteurs / collaborateurs : Melvin Fitting
ISBN : 1402006047 9781402006043
Numéro OCLC : 49719340
Description : xv, 180 p. : ill. ; 25 cm.
Contenu : 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.
Titre de collection : Trends in logic, v. 12.
Responsabilité : Melvin Fitting.
Plus d’informations :

Critiques

Critiques d’utilisateurs
Récupération des critiques de GoodReads...
Récuperation des critiques DOGObooks…

Tags

Soyez le premier.
Confirmez cette demande

Vous avez peut-être déjà demandé cet ouvrage. Veuillez sélectionner OK si vous voulez poursuivre avec cette demande quand même.

Données liées


<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

Fermer la fenêtre

Veuillez vous identifier dans WorldCat 

Vous n’avez pas de compte? Vous pouvez facilement créer un compte gratuit.