pular para conteúdo
Types, tableaus, and Gödel's God Ver prévia deste item
FecharVer prévia deste item
Checando...

Types, tableaus, and Gödel's God

Autor: Melvin Fitting
Editora: Dordrecht ; Boston : Kluwer Academic, ©2002.
Séries: Trends in logic, v. 12.
Edição/Formato   Print book : InglêsVer todas as edições e formatos
Base de Dados:WorldCat
Resumo:

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  Ler mais...

Classificação:

(ainda não classificado) 0 com críticas - Seja o primeiro.

Assuntos
Mais como este

 

Encontrar uma cópia on-line

Links para este item

Encontrar uma cópia na biblioteca

&AllPage.SpinnerRetrieving; Encontrando bibliotecas que possuem este item...

Detalhes

Pessoa Denominada: Kurt Gödel; Kurt Gödel; Kurt Gödel; Kurt Gödel; Kurt Gödel; Kurt Gödel
Tipo de Material: Recurso Internet
Tipo de Documento: Livro, Recurso Internet
Todos os Autores / Contribuintes: Melvin Fitting
ISBN: 1402006047 9781402006043
Número OCLC: 49719340
Descrição: xv, 180 pages : illustrations ; 25 cm.
Conteúdos: Pt. I. Classical Logic --
1. Classical Logic --
Syntax --
2. Classical Logic --
Semantics --
3. Classical Logic --
Basic Tableaus --
4. Soundness and Completeness --
5. Equality --
6. Extensionality --
Pt. II. Modal Logic --
7. Modal Logic, Syntax and Semantics --
8. Modal Tableaus --
9. Miscellaneous Matters --
Pt. III. Ontological Arguments --
10. Godel's Argument, Background --
11. Godel's Argument, Formally.
Título da Série: Trends in logic, v. 12.
Responsabilidade: Melvin Fitting.
Mais informações:

Críticas

Críticas contribuídas por usuários
Recuperando críticas GoodReas...
Recuperando comentários DOGObooks

Etiquetas

Seja o primeiro.
Confirmar esta solicitação

Você já pode ter solicitado este item. Por favor, selecione Ok se gostaria de proceder com esta solicitação de qualquer forma.

Dados Ligados


Primary Entity

<http://www.worldcat.org/oclc/49719340> # Types, tableaus, and Gödel's God
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "49719340" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/39256364#Place/dordrecht> ; # Dordrecht
    library:placeOfPublication <http://dbpedia.org/resource/Boston> ; # Boston
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
    schema:about <http://viaf.org/viaf/97851774> ; # Kurt Gödel
    schema:about <http://id.loc.gov/authorities/classification/BC199> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/39256364#Topic/modalite_logique> ; # Modalité (Logique)
    schema:about <http://experiment.worldcat.org/entity/work/data/39256364#Topic/typentheorie> ; # Typentheorie
    schema:about <http://experiment.worldcat.org/entity/work/data/39256364#Topic/predicatenlogica> ; # Predicatenlogica
    schema:about <http://experiment.worldcat.org/entity/work/data/39256364#Topic/ontologisch_godsbewijs> ; # Ontologisch godsbewijs
    schema:about <http://id.worldcat.org/fast/1093763> ; # Religion
    schema:about <http://experiment.worldcat.org/entity/work/data/39256364#Topic/godelscher_unvollstandigkeitssatz> ; # Gödelscher Unvollständigkeitssatz
    schema:about <http://id.loc.gov/authorities/subjects/sh85055555> ; # God--Proof, Ontological
    schema:about <http://id.worldcat.org/fast/944109> ; # God--Proof, Ontological
    schema:about <http://experiment.worldcat.org/entity/work/data/39256364#Topic/ontologischer_gottesbeweis> ; # Ontologischer Gottesbeweis
    schema:about <http://experiment.worldcat.org/entity/work/data/39256364#Topic/dieu_existence_preuve_ontologique> ; # Dieu--Existence--Preuve ontologique
    schema:about <http://experiment.worldcat.org/entity/work/data/39256364#Topic/modale_logica> ; # Modale logica
    schema:about <http://experiment.worldcat.org/entity/work/data/39256364#Person/godel_kurt_1906_1978> ; # Kurt Gödel
    schema:about <http://id.worldcat.org/fast/1024350> ; # Modality (Logic)
    schema:about <http://experiment.worldcat.org/entity/work/data/39256364#Topic/modallogik> ; # Modallogik
    schema:about <http://dewey.info/class/160/e21/> ;
    schema:bookFormat bgn:PrintBook ;
    schema:copyrightYear "2002" ;
    schema:creator <http://viaf.org/viaf/46837603> ; # Melvin Fitting
    schema:datePublished "2002" ;
    schema:description "Pt. I. Classical Logic -- 1. Classical Logic -- Syntax -- 2. Classical Logic -- Semantics -- 3. Classical Logic -- Basic Tableaus -- 4. Soundness and Completeness -- 5. Equality -- 6. Extensionality -- Pt. II. Modal Logic -- 7. Modal Logic, Syntax and Semantics -- 8. Modal Tableaus -- 9. Miscellaneous Matters -- Pt. III. Ontological Arguments -- 10. Godel's Argument, Background -- 11. Godel's Argument, Formally."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/39256364> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/39256364#Series/trends_in_logic> ; # Trends in logic ;
    schema:name "Types, tableaus, and Gödel's God"@en ;
    schema:productID "49719340" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/49719340#PublicationEvent/dordrecht_boston_kluwer_academic_2002> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/39256364#Agent/kluwer_academic> ; # Kluwer Academic
    schema:url <http://catdir.loc.gov/catdir/enhancements/fy0826/2002070322-t.html> ;
    schema:url <http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=009883350&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA> ;
    schema:workExample <http://worldcat.org/isbn/9781402006043> ;
    umbel:isLike <http://d-nb.info/970529112> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GBA2X6508> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GBA242463> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/49719340> ;
    .


Related Entities

<http://dbpedia.org/resource/Boston> # Boston
    a schema:Place ;
    schema:name "Boston" ;
    .

<http://experiment.worldcat.org/entity/work/data/39256364#Agent/kluwer_academic> # Kluwer Academic
    a bgn:Agent ;
    schema:name "Kluwer Academic" ;
    .

<http://experiment.worldcat.org/entity/work/data/39256364#Series/trends_in_logic> # Trends in logic ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/49719340> ; # Types, tableaus, and Gödel's God
    schema:name "Trends in logic ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/39256364#Topic/dieu_existence_preuve_ontologique> # Dieu--Existence--Preuve ontologique
    a schema:Intangible ;
    schema:name "Dieu--Existence--Preuve ontologique"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/39256364#Topic/godelscher_unvollstandigkeitssatz> # Gödelscher Unvollständigkeitssatz
    a schema:Intangible ;
    schema:name "Gödelscher Unvollständigkeitssatz"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/39256364#Topic/modalite_logique> # Modalité (Logique)
    a schema:Intangible ;
    schema:name "Modalité (Logique)"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/39256364#Topic/ontologisch_godsbewijs> # Ontologisch godsbewijs
    a schema:Intangible ;
    schema:name "Ontologisch godsbewijs"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/39256364#Topic/ontologischer_gottesbeweis> # Ontologischer Gottesbeweis
    a schema:Intangible ;
    schema:name "Ontologischer Gottesbeweis"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/39256364#Topic/predicatenlogica> # Predicatenlogica
    a schema:Intangible ;
    schema:name "Predicatenlogica"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh85055555> # God--Proof, Ontological
    a schema:Intangible ;
    schema:name "God--Proof, Ontological"@en ;
    .

<http://id.worldcat.org/fast/1024350> # Modality (Logic)
    a schema:Intangible ;
    schema:name "Modality (Logic)"@en ;
    .

<http://id.worldcat.org/fast/1093763> # Religion
    a schema:Intangible ;
    schema:name "Religion"@en ;
    .

<http://id.worldcat.org/fast/944109> # God--Proof, Ontological
    a schema:Intangible ;
    schema:name "God--Proof, Ontological"@en ;
    .

<http://viaf.org/viaf/46837603> # Melvin Fitting
    a schema:Person ;
    schema:birthDate "1942" ;
    schema:familyName "Fitting" ;
    schema:givenName "Melvin" ;
    schema:name "Melvin Fitting" ;
    .

<http://viaf.org/viaf/97851774> # Kurt Gödel
    a schema:Person ;
    schema:birthDate "1906" ;
    schema:deathDate "1978" ;
    schema:familyName "Gödel" ;
    schema:givenName "Kurt" ;
    schema:name "Kurt Gödel" ;
    .

<http://worldcat.org/isbn/9781402006043>
    a schema:ProductModel ;
    schema:isbn "1402006047" ;
    schema:isbn "9781402006043" ;
    .


Content-negotiable representations

Close Window

Por favor, conecte-se ao WorldCat 

Não tem uma conta? Você pode facilmente criar uma conta gratuita.