Types, Tableaus, and Gödel's God:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | German |
| Veröffentlicht: |
Dordrecht
Springer-Science+Business Media
[2002]
|
| Schriftenreihe: | Trends in logic
volume 12 |
| Schlagworte: | |
| Online-Zugang: | UBG01 https://doi.org/10.1007/978-94-010-0411-4 https://nbn-resolving.org/urn:nbn:de:1111-20110325268 https://d-nb.info/1011001721/34 |
| Beschreibung: | In der Vorlage fälschlicherweise auch als Bd. 13 der Serie gezählt ; Originally published by Kluwer Academic Publisher |
| Beschreibung: | 1 Online-Ressource (XV, 180 Seiten) |
| ISBN: | 9789401004114 |
| DOI: | 10.1007/978-94-010-0411-4 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV046711593 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 200507s2002 gw |||| o||u| ||||||ger d | ||
| 015 | |a 11,O05 |2 dnb | ||
| 016 | 7 | |a 1011001721 |2 DE-101 | |
| 020 | |a 9789401004114 |c Online |9 978-94-010-0411-4 | ||
| 024 | 7 | |a 10.1007/978-94-010-0411-4 |2 doi | |
| 024 | 7 | |a urn:nbn:de:1111-20110325268 |2 urn | |
| 024 | 3 | |a 9789401004114 | |
| 035 | |a (ZDB-30-PQE)EBC3103848 | ||
| 035 | |a (OCoLC)1154003300 | ||
| 035 | |a (DE-599)DNB1011001721 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-473 | ||
| 084 | |a ST 120 |0 (DE-625)143585: |2 rvk | ||
| 084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
| 084 | |a CC 6000 |0 (DE-625)17650: |2 rvk | ||
| 084 | |a CI 2305 |0 (DE-625)18393:11798 |2 rvk | ||
| 084 | |a 510 |2 sdnb | ||
| 084 | |a 100 |2 sdnb | ||
| 100 | 1 | |a Fitting, Melvin |d 1942- |e Verfasser |0 (DE-588)172076331 |4 aut | |
| 245 | 1 | 0 | |a Types, Tableaus, and Gödel's God |c Melvin Fitting |
| 264 | 1 | |a Dordrecht |b Springer-Science+Business Media |c [2002] | |
| 264 | 4 | |c © 2002 | |
| 300 | |a 1 Online-Ressource (XV, 180 Seiten) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Trends in logic |v volume 12 | |
| 500 | |a In der Vorlage fälschlicherweise auch als Bd. 13 der Serie gezählt ; Originally published by Kluwer Academic Publisher | ||
| 583 | 1 | |a Archivierung/Langzeitarchivierung gewährleistet |5 DE-101 |2 pdager | |
| 600 | 1 | 7 | |a Gödel, Kurt |d 1906-1978 |0 (DE-588)11869569X |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Typentheorie |0 (DE-588)4121795-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Gödelscher Unvollständigkeitssatz |0 (DE-588)4021417-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Ontologischer Gottesbeweis |0 (DE-588)4139857-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Modallogik |0 (DE-588)4074914-9 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Ontologischer Gottesbeweis |0 (DE-588)4139857-9 |D s |
| 689 | 0 | 1 | |a Gödelscher Unvollständigkeitssatz |0 (DE-588)4021417-5 |D s |
| 689 | 0 | 2 | |a Modallogik |0 (DE-588)4074914-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Gödel, Kurt |d 1906-1978 |0 (DE-588)11869569X |D p |
| 689 | 1 | 1 | |a Modallogik |0 (DE-588)4074914-9 |D s |
| 689 | 1 | 2 | |a Typentheorie |0 (DE-588)4121795-0 |D s |
| 689 | 1 | 3 | |a Ontologischer Gottesbeweis |0 (DE-588)4139857-9 |D s |
| 689 | 1 | |5 DE-604 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druckausgabe |z 1-4020-0604-7 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druckausgabe |z 978-94-010-3912-3 |
| 830 | 0 | |a Trends in logic |v volume 12 |w (DE-604)BV043326888 |9 12 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-94-010-0411-4 |x Resolving-System |
| 856 | 4 | 0 | |u https://nbn-resolving.org/urn:nbn:de:1111-20110325268 |x Resolving-System |
| 856 | 4 | 0 | |u https://d-nb.info/1011001721/34 |x Langzeitarchivierung Nationalbibliothek |
| 912 | |a ZDB-30-PQE | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-032121982 | ||
| 966 | e | |u https://ebookcentral.proquest.com/lib/ub-bamberg/detail.action?docID=3103848 |l UBG01 |p ZDB-30-PQE |q UBG_Einzelkauf |x Aggregator |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804181445292326912 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author | Fitting, Melvin 1942- |
| author_GND | (DE-588)172076331 |
| author_facet | Fitting, Melvin 1942- |
| author_role | aut |
| author_sort | Fitting, Melvin 1942- |
| author_variant | m f mf |
| building | Verbundindex |
| bvnumber | BV046711593 |
| classification_rvk | ST 120 CC 2600 CC 6000 CI 2305 |
| collection | ZDB-30-PQE |
| ctrlnum | (ZDB-30-PQE)EBC3103848 (OCoLC)1154003300 (DE-599)DNB1011001721 |
| discipline | Informatik Mathematik Philosophie |
| discipline_str_mv | Informatik Mathematik Philosophie |
| doi_str_mv | 10.1007/978-94-010-0411-4 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03018nmm a2200721zcb4500</leader><controlfield tag="001">BV046711593</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">200507s2002 gw |||| o||u| ||||||ger d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">11,O05</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1011001721</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789401004114</subfield><subfield code="c">Online</subfield><subfield code="9">978-94-010-0411-4</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-94-010-0411-4</subfield><subfield code="2">doi</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">urn:nbn:de:1111-20110325268</subfield><subfield code="2">urn</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9789401004114</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-30-PQE)EBC3103848</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1154003300</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1011001721</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 120</subfield><subfield code="0">(DE-625)143585:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2600</subfield><subfield code="0">(DE-625)17610:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 6000</subfield><subfield code="0">(DE-625)17650:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CI 2305</subfield><subfield code="0">(DE-625)18393:11798</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">510</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">100</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Fitting, Melvin</subfield><subfield code="d">1942-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)172076331</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Types, Tableaus, and Gödel's God</subfield><subfield code="c">Melvin Fitting</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Dordrecht</subfield><subfield code="b">Springer-Science+Business Media</subfield><subfield code="c">[2002]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2002</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XV, 180 Seiten)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Trends in logic</subfield><subfield code="v">volume 12</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">In der Vorlage fälschlicherweise auch als Bd. 13 der Serie gezählt ; Originally published by Kluwer Academic Publisher</subfield></datafield><datafield tag="583" ind1="1" ind2=" "><subfield code="a">Archivierung/Langzeitarchivierung gewährleistet</subfield><subfield code="5">DE-101</subfield><subfield code="2">pdager</subfield></datafield><datafield tag="600" ind1="1" ind2="7"><subfield code="a">Gödel, Kurt</subfield><subfield code="d">1906-1978</subfield><subfield code="0">(DE-588)11869569X</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Typentheorie</subfield><subfield code="0">(DE-588)4121795-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Gödelscher Unvollständigkeitssatz</subfield><subfield code="0">(DE-588)4021417-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Ontologischer Gottesbeweis</subfield><subfield code="0">(DE-588)4139857-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Modallogik</subfield><subfield code="0">(DE-588)4074914-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Ontologischer Gottesbeweis</subfield><subfield code="0">(DE-588)4139857-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Gödelscher Unvollständigkeitssatz</subfield><subfield code="0">(DE-588)4021417-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Modallogik</subfield><subfield code="0">(DE-588)4074914-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Gödel, Kurt</subfield><subfield code="d">1906-1978</subfield><subfield code="0">(DE-588)11869569X</subfield><subfield code="D">p</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Modallogik</subfield><subfield code="0">(DE-588)4074914-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Typentheorie</subfield><subfield code="0">(DE-588)4121795-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="3"><subfield code="a">Ontologischer Gottesbeweis</subfield><subfield code="0">(DE-588)4139857-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druckausgabe</subfield><subfield code="z">1-4020-0604-7</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druckausgabe</subfield><subfield code="z">978-94-010-3912-3</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Trends in logic</subfield><subfield code="v">volume 12</subfield><subfield code="w">(DE-604)BV043326888</subfield><subfield code="9">12</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-94-010-0411-4</subfield><subfield code="x">Resolving-System</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://nbn-resolving.org/urn:nbn:de:1111-20110325268</subfield><subfield code="x">Resolving-System</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://d-nb.info/1011001721/34</subfield><subfield code="x">Langzeitarchivierung Nationalbibliothek</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-30-PQE</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-032121982</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://ebookcentral.proquest.com/lib/ub-bamberg/detail.action?docID=3103848</subfield><subfield code="l">UBG01</subfield><subfield code="p">ZDB-30-PQE</subfield><subfield code="q">UBG_Einzelkauf</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV046711593 |
| illustrated | Not Illustrated |
| index_date | 2024-07-03T14:30:57Z |
| indexdate | 2024-07-10T08:51:46Z |
| institution | BVB |
| isbn | 9789401004114 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-032121982 |
| oclc_num | 1154003300 |
| open_access_boolean | |
| owner | DE-473 DE-BY-UBG |
| owner_facet | DE-473 DE-BY-UBG |
| physical | 1 Online-Ressource (XV, 180 Seiten) |
| psigel | ZDB-30-PQE ZDB-30-PQE UBG_Einzelkauf |
| publishDate | 2002 |
| publishDateSearch | 2002 |
| publishDateSort | 2002 |
| publisher | Springer-Science+Business Media |
| record_format | marc |
| series | Trends in logic |
| series2 | Trends in logic |
| spelling | Fitting, Melvin 1942- Verfasser (DE-588)172076331 aut Types, Tableaus, and Gödel's God Melvin Fitting Dordrecht Springer-Science+Business Media [2002] © 2002 1 Online-Ressource (XV, 180 Seiten) txt rdacontent c rdamedia cr rdacarrier Trends in logic volume 12 In der Vorlage fälschlicherweise auch als Bd. 13 der Serie gezählt ; Originally published by Kluwer Academic Publisher Archivierung/Langzeitarchivierung gewährleistet DE-101 pdager Gödel, Kurt 1906-1978 (DE-588)11869569X gnd rswk-swf Typentheorie (DE-588)4121795-0 gnd rswk-swf Gödelscher Unvollständigkeitssatz (DE-588)4021417-5 gnd rswk-swf Ontologischer Gottesbeweis (DE-588)4139857-9 gnd rswk-swf Modallogik (DE-588)4074914-9 gnd rswk-swf Ontologischer Gottesbeweis (DE-588)4139857-9 s Gödelscher Unvollständigkeitssatz (DE-588)4021417-5 s Modallogik (DE-588)4074914-9 s DE-604 Gödel, Kurt 1906-1978 (DE-588)11869569X p Typentheorie (DE-588)4121795-0 s Erscheint auch als Druckausgabe 1-4020-0604-7 Erscheint auch als Druckausgabe 978-94-010-3912-3 Trends in logic volume 12 (DE-604)BV043326888 12 https://doi.org/10.1007/978-94-010-0411-4 Resolving-System https://nbn-resolving.org/urn:nbn:de:1111-20110325268 Resolving-System https://d-nb.info/1011001721/34 Langzeitarchivierung Nationalbibliothek |
| spellingShingle | Fitting, Melvin 1942- Types, Tableaus, and Gödel's God Trends in logic Gödel, Kurt 1906-1978 (DE-588)11869569X gnd Typentheorie (DE-588)4121795-0 gnd Gödelscher Unvollständigkeitssatz (DE-588)4021417-5 gnd Ontologischer Gottesbeweis (DE-588)4139857-9 gnd Modallogik (DE-588)4074914-9 gnd |
| subject_GND | (DE-588)11869569X (DE-588)4121795-0 (DE-588)4021417-5 (DE-588)4139857-9 (DE-588)4074914-9 |
| title | Types, Tableaus, and Gödel's God |
| title_auth | Types, Tableaus, and Gödel's God |
| title_exact_search | Types, Tableaus, and Gödel's God |
| title_exact_search_txtP | Types, Tableaus, and Gödel's God |
| title_full | Types, Tableaus, and Gödel's God Melvin Fitting |
| title_fullStr | Types, Tableaus, and Gödel's God Melvin Fitting |
| title_full_unstemmed | Types, Tableaus, and Gödel's God Melvin Fitting |
| title_short | Types, Tableaus, and Gödel's God |
| title_sort | types tableaus and godel s god |
| topic | Gödel, Kurt 1906-1978 (DE-588)11869569X gnd Typentheorie (DE-588)4121795-0 gnd Gödelscher Unvollständigkeitssatz (DE-588)4021417-5 gnd Ontologischer Gottesbeweis (DE-588)4139857-9 gnd Modallogik (DE-588)4074914-9 gnd |
| topic_facet | Gödel, Kurt 1906-1978 Typentheorie Gödelscher Unvollständigkeitssatz Ontologischer Gottesbeweis Modallogik |
| url | https://doi.org/10.1007/978-94-010-0411-4 https://nbn-resolving.org/urn:nbn:de:1111-20110325268 https://d-nb.info/1011001721/34 |
| volume_link | (DE-604)BV043326888 |
| work_keys_str_mv | AT fittingmelvin typestableausandgodelsgod |