Collegium Logicum:
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Vienna
Springer Vienna
1996
|
| Schriftenreihe: | Collegium Logicum, Annals of the Kurt-Gödel-Society
2 |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | Contents: H. de Nivelle: Resolution Games and Non-Liftable Resolution Orderings. - M. Kerber, M. Kohlhase: A Tableau Calculus for Partial Functions. - G. Salzer: MUltlog: an Expert System for Multiple-valued Logics. - J. Krajícþek: A Fundamental Problem of Mathematical Logic. - P. Pudlák: On the Lengths of Proofs of Consistency. - A. Carbone: The Craig Interpolation Theorem for Schematic Systems. - I.A. Stewart: The Role of Monotonicity in Descriptive Complexity Theory. - R. Freund, L. Staiger: Numbers Defined by Turing Machines |
| Beschreibung: | 1 Online-Ressource (VII, 140p. 3 illus) |
| ISBN: | 9783709194614 9783211827963 |
| ISSN: | 0947-577X |
| DOI: | 10.1007/978-3-7091-9461-4 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042423581 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150317s1996 |||| o||u| ||||||eng d | ||
| 020 | |a 9783709194614 |c Online |9 978-3-7091-9461-4 | ||
| 020 | |a 9783211827963 |c Print |9 978-3-211-82796-3 | ||
| 024 | 7 | |a 10.1007/978-3-7091-9461-4 |2 doi | |
| 035 | |a (OCoLC)905455249 | ||
| 035 | |a (DE-599)BVBBV042423581 | ||
| 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 1996 | |
| 300 | |a 1 Online-Ressource (VII, 140p. 3 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 2 |x 0947-577X | |
| 500 | |a Contents: H. de Nivelle: Resolution Games and Non-Liftable Resolution Orderings. - M. Kerber, M. Kohlhase: A Tableau Calculus for Partial Functions. - G. Salzer: MUltlog: an Expert System for Multiple-valued Logics. - J. Krajícþek: A Fundamental Problem of Mathematical Logic. - P. Pudlák: On the Lengths of Proofs of Consistency. - A. Carbone: The Craig Interpolation Theorem for Schematic Systems. - I.A. Stewart: The Role of Monotonicity in Descriptive Complexity Theory. - R. Freund, L. Staiger: Numbers Defined by Turing Machines | ||
| 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-9461-4 |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-027858998 | ||
Datensatz im Suchindex
| _version_ | 1804153099481251840 |
|---|---|
| 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 | BV042423581 |
| classification_tum | MAT 000 |
| collection | ZDB-2-SMA ZDB-2-BAE |
| ctrlnum | (OCoLC)905455249 (DE-599)BVBBV042423581 |
| 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-9461-4 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02243nmm a2200517zcb4500</leader><controlfield tag="001">BV042423581</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150317s1996 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783709194614</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-7091-9461-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783211827963</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-211-82796-3</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-7091-9461-4</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)905455249</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042423581</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">1996</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (VII, 140p. 3 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">2</subfield><subfield code="x">0947-577X</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Contents: H. de Nivelle: Resolution Games and Non-Liftable Resolution Orderings. - M. Kerber, M. Kohlhase: A Tableau Calculus for Partial Functions. - G. Salzer: MUltlog: an Expert System for Multiple-valued Logics. - J. Krajícþek: A Fundamental Problem of Mathematical Logic. - P. Pudlák: On the Lengths of Proofs of Consistency. - A. Carbone: The Craig Interpolation Theorem for Schematic Systems. - I.A. Stewart: The Role of Monotonicity in Descriptive Complexity Theory. - R. Freund, L. Staiger: Numbers Defined by Turing Machines</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-9461-4</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-027858998</subfield></datafield></record></collection> |
| id | DE-604.BV042423581 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:21:13Z |
| institution | BVB |
| isbn | 9783709194614 9783211827963 |
| issn | 0947-577X |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027858998 |
| oclc_num | 905455249 |
| 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, 140p. 3 illus) |
| psigel | ZDB-2-SMA ZDB-2-BAE ZDB-2-SMA_Archive |
| publishDate | 1996 |
| publishDateSearch | 1996 |
| publishDateSort | 1996 |
| 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 1996 1 Online-Ressource (VII, 140p. 3 illus) txt rdacontent c rdamedia cr rdacarrier Collegium Logicum, Annals of the Kurt-Gödel-Society 2 0947-577X Contents: H. de Nivelle: Resolution Games and Non-Liftable Resolution Orderings. - M. Kerber, M. Kohlhase: A Tableau Calculus for Partial Functions. - G. Salzer: MUltlog: an Expert System for Multiple-valued Logics. - J. Krajícþek: A Fundamental Problem of Mathematical Logic. - P. Pudlák: On the Lengths of Proofs of Consistency. - A. Carbone: The Craig Interpolation Theorem for Schematic Systems. - I.A. Stewart: The Role of Monotonicity in Descriptive Complexity Theory. - R. Freund, L. Staiger: Numbers Defined by Turing Machines 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-9461-4 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-9461-4 |
| work_keys_str_mv | AT kurtgodelgesellschaft collegiumlogicum |