Gödel '96: logical foundations of mathematics, computer science, and physics--Kurt Gödel's legacy
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the sixth publication in the Lecture Note...
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere beteiligte Personen: | |
| Format: | Tagungsbericht E-Book |
| Sprache: | Englisch |
| Veröffentlicht: |
Cambridge
Cambridge University Press
2016
|
| Schriftenreihe: | Lecture notes in logic
6 |
| Links: | https://doi.org/10.1017/9781316716939 |
| Zusammenfassung: | Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the sixth publication in the Lecture Notes in Logic series, collects the proceedings of the conference 'Logical Foundations of Mathematics, Computer Science, and Physics - Kurt Gödel's Legacy', held in Brno, Czech Republic, on the 90th anniversary of Gödel's birth. The broad range of speakers who participated in this event affirms the continuing importance of Gödel's work in logic, physics, and the philosophy and foundations of mathematics and computer science. The papers in this volume range over all these topics and contribute to our present understanding of them. |
| Umfang: | 1 Online-Ressource (viii, 322 Seiten) |
| ISBN: | 9781316716939 |
Internformat
MARC
| LEADER | 00000nam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | ZDB-20-CTM-CR9781316716939 | ||
| 003 | UkCbUP | ||
| 005 | 20170421100808.0 | ||
| 006 | m|||||o||d|||||||| | ||
| 007 | cr|||||||||||| | ||
| 008 | 160211s2016||||enk o ||1 0|eng|d | ||
| 020 | |a 9781316716939 | ||
| 111 | 2 | |a Gödel '96 |d (1996 : |c Brno, Czech Republic) | |
| 245 | 1 | 0 | |a Gödel '96 |b logical foundations of mathematics, computer science, and physics--Kurt Gödel's legacy |c edited by Petr Hájek |
| 264 | 1 | |a Cambridge |b Cambridge University Press |c 2016 | |
| 300 | |a 1 Online-Ressource (viii, 322 Seiten) | ||
| 336 | |b txt | ||
| 337 | |b c | ||
| 338 | |b cr | ||
| 490 | 1 | |a Lecture notes in logic |v 6 | |
| 520 | |a Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the sixth publication in the Lecture Notes in Logic series, collects the proceedings of the conference 'Logical Foundations of Mathematics, Computer Science, and Physics - Kurt Gödel's Legacy', held in Brno, Czech Republic, on the 90th anniversary of Gödel's birth. The broad range of speakers who participated in this event affirms the continuing importance of Gödel's work in logic, physics, and the philosophy and foundations of mathematics and computer science. The papers in this volume range over all these topics and contribute to our present understanding of them. | ||
| 700 | 1 | |a Hájek, Petr | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9781107168022 |
| 966 | 4 | 0 | |l DE-91 |p ZDB-20-CTM |q TUM_PDA_CTM |u https://doi.org/10.1017/9781316716939 |3 Volltext |
| 912 | |a ZDB-20-CTM | ||
| 912 | |a ZDB-20-CTM | ||
| 049 | |a DE-91 | ||
Datensatz im Suchindex
| DE-BY-TUM_katkey | ZDB-20-CTM-CR9781316716939 |
|---|---|
| _version_ | 1832177780075266048 |
| adam_text | |
| any_adam_object | |
| author2 | Hájek, Petr |
| author2_role | |
| author2_variant | p h ph |
| author_corporate | Gödel '96 Brno, Czech Republic |
| author_corporate_role | |
| author_facet | Hájek, Petr Gödel '96 Brno, Czech Republic |
| author_sort | Gödel '96 Brno, Czech Republic |
| building | Verbundindex |
| bvnumber | localTUM |
| collection | ZDB-20-CTM |
| format | Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01688nam a2200265 i 4500</leader><controlfield tag="001">ZDB-20-CTM-CR9781316716939</controlfield><controlfield tag="003">UkCbUP</controlfield><controlfield tag="005">20170421100808.0</controlfield><controlfield tag="006">m|||||o||d||||||||</controlfield><controlfield tag="007">cr||||||||||||</controlfield><controlfield tag="008">160211s2016||||enk o ||1 0|eng|d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781316716939</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">Gödel '96</subfield><subfield code="d">(1996 :</subfield><subfield code="c">Brno, Czech Republic)</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Gödel '96</subfield><subfield code="b">logical foundations of mathematics, computer science, and physics--Kurt Gödel's legacy</subfield><subfield code="c">edited by Petr Hájek</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge</subfield><subfield code="b">Cambridge University Press</subfield><subfield code="c">2016</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (viii, 322 Seiten)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in logic</subfield><subfield code="v">6</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the sixth publication in the Lecture Notes in Logic series, collects the proceedings of the conference 'Logical Foundations of Mathematics, Computer Science, and Physics - Kurt Gödel's Legacy', held in Brno, Czech Republic, on the 90th anniversary of Gödel's birth. The broad range of speakers who participated in this event affirms the continuing importance of Gödel's work in logic, physics, and the philosophy and foundations of mathematics and computer science. The papers in this volume range over all these topics and contribute to our present understanding of them.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Hájek, Petr</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9781107168022</subfield></datafield><datafield tag="966" ind1="4" ind2="0"><subfield code="l">DE-91</subfield><subfield code="p">ZDB-20-CTM</subfield><subfield code="q">TUM_PDA_CTM</subfield><subfield code="u">https://doi.org/10.1017/9781316716939</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-20-CTM</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-20-CTM</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield></datafield></record></collection> |
| id | ZDB-20-CTM-CR9781316716939 |
| illustrated | Not Illustrated |
| indexdate | 2025-05-15T09:21:31Z |
| institution | BVB |
| isbn | 9781316716939 |
| language | English |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM |
| owner_facet | DE-91 DE-BY-TUM |
| physical | 1 Online-Ressource (viii, 322 Seiten) |
| psigel | ZDB-20-CTM TUM_PDA_CTM ZDB-20-CTM |
| publishDate | 2016 |
| publishDateSearch | 2016 |
| publishDateSort | 2016 |
| publisher | Cambridge University Press |
| record_format | marc |
| series2 | Lecture notes in logic |
| spelling | Gödel '96 (1996 : Brno, Czech Republic) Gödel '96 logical foundations of mathematics, computer science, and physics--Kurt Gödel's legacy edited by Petr Hájek Cambridge Cambridge University Press 2016 1 Online-Ressource (viii, 322 Seiten) txt c cr Lecture notes in logic 6 Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the sixth publication in the Lecture Notes in Logic series, collects the proceedings of the conference 'Logical Foundations of Mathematics, Computer Science, and Physics - Kurt Gödel's Legacy', held in Brno, Czech Republic, on the 90th anniversary of Gödel's birth. The broad range of speakers who participated in this event affirms the continuing importance of Gödel's work in logic, physics, and the philosophy and foundations of mathematics and computer science. The papers in this volume range over all these topics and contribute to our present understanding of them. Hájek, Petr Erscheint auch als Druck-Ausgabe 9781107168022 |
| spellingShingle | Gödel '96 logical foundations of mathematics, computer science, and physics--Kurt Gödel's legacy |
| title | Gödel '96 logical foundations of mathematics, computer science, and physics--Kurt Gödel's legacy |
| title_auth | Gödel '96 logical foundations of mathematics, computer science, and physics--Kurt Gödel's legacy |
| title_exact_search | Gödel '96 logical foundations of mathematics, computer science, and physics--Kurt Gödel's legacy |
| title_full | Gödel '96 logical foundations of mathematics, computer science, and physics--Kurt Gödel's legacy edited by Petr Hájek |
| title_fullStr | Gödel '96 logical foundations of mathematics, computer science, and physics--Kurt Gödel's legacy edited by Petr Hájek |
| title_full_unstemmed | Gödel '96 logical foundations of mathematics, computer science, and physics--Kurt Gödel's legacy edited by Petr Hájek |
| title_short | Gödel '96 |
| title_sort | godel 96 logical foundations of mathematics computer science and physics kurt godel s legacy |
| title_sub | logical foundations of mathematics, computer science, and physics--Kurt Gödel's legacy |
| work_keys_str_mv | AT godel96brnoczechrepublic godel96logicalfoundationsofmathematicscomputerscienceandphysicskurtgodelslegacy AT hajekpetr godel96logicalfoundationsofmathematicscomputerscienceandphysicskurtgodelslegacy |