Collegium Logicum:
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Vienna
Springer Vienna
1995
|
| Schriftenreihe: | Collegium Logicum, Annals of the Kurt-Gödel-Society
1 |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | Contents: P. Vihan: The Last Month of Gerhard Gentzen in Prague. - F.A. Rodríguez-Consuegra: Some Issues on Gödel’s Unpublished Philosophical Manuscripts. - D.D. Spalt: Vollständigkeit als Ziel historischer Explikation. Eine Fallstudie. - E. Engeler: Existenz und Negation in Mathematik und Logik. - W.J. Gutjahr: Paradoxien der Prognose und der Evaluation: Eine fixpunkttheoretische Analyse. - R. Hähnle: Automated Deduction and Integer Programming. - M. Baaz, A. Leitsch: Methods of Functional Extension |
| Beschreibung: | 1 Online-Ressource (VII, 122p. 2 illus) |
| ISBN: | 9783709193945 9783211826461 |
| ISSN: | 0947-577X |
| DOI: | 10.1007/978-3-7091-9394-5 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042423580 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150317s1995 |||| o||u| ||||||eng d | ||
| 020 | |a 9783709193945 |c Online |9 978-3-7091-9394-5 | ||
| 020 | |a 9783211826461 |c Print |9 978-3-211-82646-1 | ||
| 024 | 7 | |a 10.1007/978-3-7091-9394-5 |2 doi | |
| 035 | |a (OCoLC)863871022 | ||
| 035 | |a (DE-599)BVBBV042423580 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-384 |a DE-703 |a DE-91 |a DE-634 | ||
| 082 | 0 | |a 511.3 |2 23 | |
| 084 | |a MAT 000 |2 stub | ||
| 110 | 2 | |a Kurt-Gödel-Gesellschaft |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Collegium Logicum |
| 264 | 1 | |a Vienna |b Springer Vienna |c 1995 | |
| 300 | |a 1 Online-Ressource (VII, 122p. 2 illus) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Collegium Logicum, Annals of the Kurt-Gödel-Society |v 1 |x 0947-577X | |
| 500 | |a Contents: P. Vihan: The Last Month of Gerhard Gentzen in Prague. - F.A. Rodríguez-Consuegra: Some Issues on Gödel’s Unpublished Philosophical Manuscripts. - D.D. Spalt: Vollständigkeit als Ziel historischer Explikation. Eine Fallstudie. - E. Engeler: Existenz und Negation in Mathematik und Logik. - W.J. Gutjahr: Paradoxien der Prognose und der Evaluation: Eine fixpunkttheoretische Analyse. - R. Hähnle: Automated Deduction and Integer Programming. - M. Baaz, A. Leitsch: Methods of Functional Extension | ||
| 650 | 4 | |a Mathematics | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Computer software | |
| 650 | 4 | |a Logic design | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 4 | |a Mathematical Logic and Foundations | |
| 650 | 4 | |a Theoretical, Mathematical and Computational Physics | |
| 650 | 4 | |a Logics and Meanings of Programs | |
| 650 | 4 | |a Mathematical Logic and Formal Languages | |
| 650 | 4 | |a Computation by Abstract Devices | |
| 650 | 4 | |a Algorithm Analysis and Problem Complexity | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Mathematik | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-7091-9394-5 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-SMA |a ZDB-2-BAE | ||
| 940 | 1 | |q ZDB-2-SMA_Archive | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027858997 | ||
Datensatz im Suchindex
| _version_ | 1804153099479154688 |
|---|---|
| any_adam_object | |
| author_corporate | Kurt-Gödel-Gesellschaft |
| author_corporate_role | aut |
| author_facet | Kurt-Gödel-Gesellschaft |
| author_sort | Kurt-Gödel-Gesellschaft |
| building | Verbundindex |
| bvnumber | BV042423580 |
| classification_tum | MAT 000 |
| collection | ZDB-2-SMA ZDB-2-BAE |
| ctrlnum | (OCoLC)863871022 (DE-599)BVBBV042423580 |
| dewey-full | 511.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3 |
| dewey-search | 511.3 |
| dewey-sort | 3511.3 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| doi_str_mv | 10.1007/978-3-7091-9394-5 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02217nmm a2200517zcb4500</leader><controlfield tag="001">BV042423580</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150317s1995 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783709193945</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-7091-9394-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783211826461</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-211-82646-1</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-7091-9394-5</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)863871022</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042423580</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="110" ind1="2" ind2=" "><subfield code="a">Kurt-Gödel-Gesellschaft</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Collegium Logicum</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Vienna</subfield><subfield code="b">Springer Vienna</subfield><subfield code="c">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (VII, 122p. 2 illus)</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="0" ind2=" "><subfield code="a">Collegium Logicum, Annals of the Kurt-Gödel-Society</subfield><subfield code="v">1</subfield><subfield code="x">0947-577X</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Contents: P. Vihan: The Last Month of Gerhard Gentzen in Prague. - F.A. Rodríguez-Consuegra: Some Issues on Gödel’s Unpublished Philosophical Manuscripts. - D.D. Spalt: Vollständigkeit als Ziel historischer Explikation. Eine Fallstudie. - E. Engeler: Existenz und Negation in Mathematik und Logik. - W.J. Gutjahr: Paradoxien der Prognose und der Evaluation: Eine fixpunkttheoretische Analyse. - R. Hähnle: Automated Deduction and Integer Programming. - M. Baaz, A. Leitsch: Methods of Functional Extension</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic design</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Foundations</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Theoretical, Mathematical and Computational Physics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logics and Meanings of Programs</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Formal Languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computation by Abstract Devices</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algorithm Analysis and Problem Complexity</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-7091-9394-5</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SMA</subfield><subfield code="a">ZDB-2-BAE</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SMA_Archive</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027858997</subfield></datafield></record></collection> |
| id | DE-604.BV042423580 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:21:13Z |
| institution | BVB |
| isbn | 9783709193945 9783211826461 |
| issn | 0947-577X |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027858997 |
| oclc_num | 863871022 |
| open_access_boolean | |
| owner | DE-384 DE-703 DE-91 DE-BY-TUM DE-634 |
| owner_facet | DE-384 DE-703 DE-91 DE-BY-TUM DE-634 |
| physical | 1 Online-Ressource (VII, 122p. 2 illus) |
| psigel | ZDB-2-SMA ZDB-2-BAE ZDB-2-SMA_Archive |
| publishDate | 1995 |
| publishDateSearch | 1995 |
| publishDateSort | 1995 |
| publisher | Springer Vienna |
| record_format | marc |
| series2 | Collegium Logicum, Annals of the Kurt-Gödel-Society |
| spelling | Kurt-Gödel-Gesellschaft Verfasser aut Collegium Logicum Vienna Springer Vienna 1995 1 Online-Ressource (VII, 122p. 2 illus) txt rdacontent c rdamedia cr rdacarrier Collegium Logicum, Annals of the Kurt-Gödel-Society 1 0947-577X Contents: P. Vihan: The Last Month of Gerhard Gentzen in Prague. - F.A. Rodríguez-Consuegra: Some Issues on Gödel’s Unpublished Philosophical Manuscripts. - D.D. Spalt: Vollständigkeit als Ziel historischer Explikation. Eine Fallstudie. - E. Engeler: Existenz und Negation in Mathematik und Logik. - W.J. Gutjahr: Paradoxien der Prognose und der Evaluation: Eine fixpunkttheoretische Analyse. - R. Hähnle: Automated Deduction and Integer Programming. - M. Baaz, A. Leitsch: Methods of Functional Extension Mathematics Computer science Computer software Logic design Logic, Symbolic and mathematical Mathematical Logic and Foundations Theoretical, Mathematical and Computational Physics Logics and Meanings of Programs Mathematical Logic and Formal Languages Computation by Abstract Devices Algorithm Analysis and Problem Complexity Informatik Mathematik https://doi.org/10.1007/978-3-7091-9394-5 Verlag Volltext |
| spellingShingle | Collegium Logicum Mathematics Computer science Computer software Logic design Logic, Symbolic and mathematical Mathematical Logic and Foundations Theoretical, Mathematical and Computational Physics Logics and Meanings of Programs Mathematical Logic and Formal Languages Computation by Abstract Devices Algorithm Analysis and Problem Complexity Informatik Mathematik |
| title | Collegium Logicum |
| title_auth | Collegium Logicum |
| title_exact_search | Collegium Logicum |
| title_full | Collegium Logicum |
| title_fullStr | Collegium Logicum |
| title_full_unstemmed | Collegium Logicum |
| title_short | Collegium Logicum |
| title_sort | collegium logicum |
| topic | Mathematics Computer science Computer software Logic design Logic, Symbolic and mathematical Mathematical Logic and Foundations Theoretical, Mathematical and Computational Physics Logics and Meanings of Programs Mathematical Logic and Formal Languages Computation by Abstract Devices Algorithm Analysis and Problem Complexity Informatik Mathematik |
| topic_facet | Mathematics Computer science Computer software Logic design Logic, Symbolic and mathematical Mathematical Logic and Foundations Theoretical, Mathematical and Computational Physics Logics and Meanings of Programs Mathematical Logic and Formal Languages Computation by Abstract Devices Algorithm Analysis and Problem Complexity Informatik Mathematik |
| url | https://doi.org/10.1007/978-3-7091-9394-5 |
| work_keys_str_mv | AT kurtgodelgesellschaft collegiumlogicum |