Reductive logic and proof-search: proof theory, semantics, and control
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Oxford
Clarendon Press
2004
|
| Schriftenreihe: | Oxford logic guides
45 |
| Schlagworte: | |
| Online-Zugang: | UBT01 Volltext |
| Beschreibung: | Published to Oxford Scholarship Online: September 2007 |
| Beschreibung: | 1 Online-Ressource (XV, 208 Seiten) Illustrationen |
| ISBN: | 9780191712012 |
| DOI: | 10.1093/acprof:oso/9780198526339.001.0001 |
Internformat
MARC
| LEADER | 00000nmm a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV045083105 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 180711s2004 |||| o||u| ||||||eng d | ||
| 020 | |a 9780191712012 |c Online |9 978-0-19-171201-2 | ||
| 024 | 7 | |a 10.1093/acprof:oso/9780198526339.001.0001 |2 doi | |
| 035 | |a (OCoLC)850821187 | ||
| 035 | |a (DE-599)BVBBV045083105 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-703 | ||
| 050 | 0 | |a QA9 | |
| 082 | 0 | |a 511.3 | |
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 100 | 1 | |a Pym, David J. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Reductive logic and proof-search |b proof theory, semantics, and control |c David J. Pym and Eike Ritter |
| 264 | 1 | |a Oxford |b Clarendon Press |c 2004 | |
| 300 | |a 1 Online-Ressource (XV, 208 Seiten) |b Illustrationen | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Oxford logic guides |v 45 | |
| 500 | |a Published to Oxford Scholarship Online: September 2007 | ||
| 650 | 7 | |a Bewijstheorie |2 gtt | |
| 650 | 7 | |a Logica |2 gtt | |
| 650 | 4 | |a Logique symbolique et mathématique | |
| 650 | 4 | |a Preuve, Théorie de la | |
| 650 | 7 | |a Reductie (filosofie) |2 gtt | |
| 650 | 4 | |a Logik | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 4 | |a Proof theory | |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Lambda-Kalkül |0 (DE-588)4166495-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Beweistheorie |0 (DE-588)4145177-6 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | 1 | |a Beweistheorie |0 (DE-588)4145177-6 |D s |
| 689 | 0 | 2 | |a Lambda-Kalkül |0 (DE-588)4166495-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Ritter, Eike |e Verfasser |4 aut | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-0-19-852633-9 |
| 830 | 0 | |a Oxford logic guides |v 45 |w (DE-604)BV045075227 |9 45 | |
| 856 | 4 | 0 | |u https://doi.org/10.1093/acprof:oso/9780198526339.001.0001 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-28-OSV |a ZDB-28-OSK | ||
| 940 | 1 | |q ZDB-28-OSK_2007/09+2008/01 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-030474028 | ||
| 966 | e | |u https://doi.org/10.1093/acprof:oso/9780198526339.001.0001 |l UBT01 |p ZDB-28-OSK |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804178700038569984 |
|---|---|
| any_adam_object | |
| author | Pym, David J. Ritter, Eike |
| author_facet | Pym, David J. Ritter, Eike |
| author_role | aut aut |
| author_sort | Pym, David J. |
| author_variant | d j p dj djp e r er |
| building | Verbundindex |
| bvnumber | BV045083105 |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9 |
| callnumber-search | QA9 |
| callnumber-sort | QA 19 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SK 130 |
| collection | ZDB-28-OSV ZDB-28-OSK |
| ctrlnum | (OCoLC)850821187 (DE-599)BVBBV045083105 |
| 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.1093/acprof:oso/9780198526339.001.0001 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02241nmm a2200589 cb4500</leader><controlfield tag="001">BV045083105</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">180711s2004 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780191712012</subfield><subfield code="c">Online</subfield><subfield code="9">978-0-19-171201-2</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1093/acprof:oso/9780198526339.001.0001</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)850821187</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV045083105</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">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-703</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Pym, David J.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Reductive logic and proof-search</subfield><subfield code="b">proof theory, semantics, and control</subfield><subfield code="c">David J. Pym and Eike Ritter</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Oxford</subfield><subfield code="b">Clarendon Press</subfield><subfield code="c">2004</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XV, 208 Seiten)</subfield><subfield code="b">Illustrationen</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">Oxford logic guides</subfield><subfield code="v">45</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Published to Oxford Scholarship Online: September 2007</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Bewijstheorie</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logique symbolique et mathématique</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Preuve, Théorie de la</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Reductie (filosofie)</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logik</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">Proof theory</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Lambda-Kalkül</subfield><subfield code="0">(DE-588)4166495-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Beweistheorie</subfield><subfield code="0">(DE-588)4145177-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Beweistheorie</subfield><subfield code="0">(DE-588)4145177-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Lambda-Kalkül</subfield><subfield code="0">(DE-588)4166495-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ritter, Eike</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</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">978-0-19-852633-9</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Oxford logic guides</subfield><subfield code="v">45</subfield><subfield code="w">(DE-604)BV045075227</subfield><subfield code="9">45</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1093/acprof:oso/9780198526339.001.0001</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-28-OSV</subfield><subfield code="a">ZDB-28-OSK</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-28-OSK_2007/09+2008/01</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-030474028</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1093/acprof:oso/9780198526339.001.0001</subfield><subfield code="l">UBT01</subfield><subfield code="p">ZDB-28-OSK</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV045083105 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T08:08:08Z |
| institution | BVB |
| isbn | 9780191712012 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-030474028 |
| oclc_num | 850821187 |
| open_access_boolean | |
| owner | DE-703 |
| owner_facet | DE-703 |
| physical | 1 Online-Ressource (XV, 208 Seiten) Illustrationen |
| psigel | ZDB-28-OSV ZDB-28-OSK ZDB-28-OSK_2007/09+2008/01 |
| publishDate | 2004 |
| publishDateSearch | 2004 |
| publishDateSort | 2004 |
| publisher | Clarendon Press |
| record_format | marc |
| series | Oxford logic guides |
| series2 | Oxford logic guides |
| spelling | Pym, David J. Verfasser aut Reductive logic and proof-search proof theory, semantics, and control David J. Pym and Eike Ritter Oxford Clarendon Press 2004 1 Online-Ressource (XV, 208 Seiten) Illustrationen txt rdacontent c rdamedia cr rdacarrier Oxford logic guides 45 Published to Oxford Scholarship Online: September 2007 Bewijstheorie gtt Logica gtt Logique symbolique et mathématique Preuve, Théorie de la Reductie (filosofie) gtt Logik Logic, Symbolic and mathematical Proof theory Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Lambda-Kalkül (DE-588)4166495-4 gnd rswk-swf Beweistheorie (DE-588)4145177-6 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 s Beweistheorie (DE-588)4145177-6 s Lambda-Kalkül (DE-588)4166495-4 s DE-604 Ritter, Eike Verfasser aut Erscheint auch als Druck-Ausgabe 978-0-19-852633-9 Oxford logic guides 45 (DE-604)BV045075227 45 https://doi.org/10.1093/acprof:oso/9780198526339.001.0001 Verlag URL des Erstveröffentlichers Volltext |
| spellingShingle | Pym, David J. Ritter, Eike Reductive logic and proof-search proof theory, semantics, and control Oxford logic guides Bewijstheorie gtt Logica gtt Logique symbolique et mathématique Preuve, Théorie de la Reductie (filosofie) gtt Logik Logic, Symbolic and mathematical Proof theory Mathematische Logik (DE-588)4037951-6 gnd Lambda-Kalkül (DE-588)4166495-4 gnd Beweistheorie (DE-588)4145177-6 gnd |
| subject_GND | (DE-588)4037951-6 (DE-588)4166495-4 (DE-588)4145177-6 |
| title | Reductive logic and proof-search proof theory, semantics, and control |
| title_auth | Reductive logic and proof-search proof theory, semantics, and control |
| title_exact_search | Reductive logic and proof-search proof theory, semantics, and control |
| title_full | Reductive logic and proof-search proof theory, semantics, and control David J. Pym and Eike Ritter |
| title_fullStr | Reductive logic and proof-search proof theory, semantics, and control David J. Pym and Eike Ritter |
| title_full_unstemmed | Reductive logic and proof-search proof theory, semantics, and control David J. Pym and Eike Ritter |
| title_short | Reductive logic and proof-search |
| title_sort | reductive logic and proof search proof theory semantics and control |
| title_sub | proof theory, semantics, and control |
| topic | Bewijstheorie gtt Logica gtt Logique symbolique et mathématique Preuve, Théorie de la Reductie (filosofie) gtt Logik Logic, Symbolic and mathematical Proof theory Mathematische Logik (DE-588)4037951-6 gnd Lambda-Kalkül (DE-588)4166495-4 gnd Beweistheorie (DE-588)4145177-6 gnd |
| topic_facet | Bewijstheorie Logica Logique symbolique et mathématique Preuve, Théorie de la Reductie (filosofie) Logik Logic, Symbolic and mathematical Proof theory Mathematische Logik Lambda-Kalkül Beweistheorie |
| url | https://doi.org/10.1093/acprof:oso/9780198526339.001.0001 |
| volume_link | (DE-604)BV045075227 |
| work_keys_str_mv | AT pymdavidj reductivelogicandproofsearchprooftheorysemanticsandcontrol AT rittereike reductivelogicandproofsearchprooftheorysemanticsandcontrol |