Reductive logic and proof-search: proof theory, semantics, and control
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Oxford
Clarendon Press
2004
New York Oxford University Press |
| Schriftenreihe: | Oxford logic guides
45 |
| Schlagworte: | |
| Online-Zugang: | Publisher description Table of contents only |
| Beschreibung: | Includes bibliographical references and index |
| Beschreibung: | XV, 208 S. Ill. 24 cm |
| ISBN: | 0198526334 |
Internformat
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV021841394 | ||
| 003 | DE-604 | ||
| 005 | 20070111 | ||
| 007 | t | ||
| 008 | 061205s2004 xxka||| |||| 00||| eng d | ||
| 010 | |a 2004049208 | ||
| 020 | |a 0198526334 |c alk. paper |9 0-19-852633-4 | ||
| 035 | |a (OCoLC)54865392 | ||
| 035 | |a (DE-599)BVBBV021841394 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 044 | |a xxk |c GB | ||
| 049 | |a DE-19 |a DE-11 | ||
| 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 | |
| 264 | 1 | |a New York |b Oxford University Press | |
| 300 | |a XV, 208 S. |b Ill. |c 24 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Oxford logic guides |v 45 | |
| 500 | |a Includes bibliographical references and index | ||
| 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 | |
| 830 | 0 | |a Oxford logic guides |v 45 |w (DE-604)BV000013997 |9 45 | |
| 856 | 4 | |u http://www.loc.gov/catdir/enhancements/fy0618/2004049208-d.html |3 Publisher description | |
| 856 | 4 | |u http://www.loc.gov/catdir/enhancements/fy0618/2004049208-t.html |3 Table of contents only | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-015053249 | ||
Datensatz im Suchindex
| _version_ | 1804135776024264704 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| 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 | BV021841394 |
| 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 |
| ctrlnum | (OCoLC)54865392 (DE-599)BVBBV021841394 |
| 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 |
| discipline_str_mv | Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02054nam a2200577zcb4500</leader><controlfield tag="001">BV021841394</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20070111 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">061205s2004 xxka||| |||| 00||| eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">2004049208</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0198526334</subfield><subfield code="c">alk. paper</subfield><subfield code="9">0-19-852633-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)54865392</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV021841394</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="044" ind1=" " ind2=" "><subfield code="a">xxk</subfield><subfield code="c">GB</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-19</subfield><subfield code="a">DE-11</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="264" ind1=" " ind2="1"><subfield code="a">New York</subfield><subfield code="b">Oxford University Press</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XV, 208 S.</subfield><subfield code="b">Ill.</subfield><subfield code="c">24 cm</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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</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">Includes bibliographical references and index</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="830" ind1=" " ind2="0"><subfield code="a">Oxford logic guides</subfield><subfield code="v">45</subfield><subfield code="w">(DE-604)BV000013997</subfield><subfield code="9">45</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="u">http://www.loc.gov/catdir/enhancements/fy0618/2004049208-d.html</subfield><subfield code="3">Publisher description</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="u">http://www.loc.gov/catdir/enhancements/fy0618/2004049208-t.html</subfield><subfield code="3">Table of contents only</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-015053249</subfield></datafield></record></collection> |
| id | DE-604.BV021841394 |
| illustrated | Illustrated |
| index_date | 2024-07-02T16:00:33Z |
| indexdate | 2024-07-09T20:45:52Z |
| institution | BVB |
| isbn | 0198526334 |
| language | English |
| lccn | 2004049208 |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-015053249 |
| oclc_num | 54865392 |
| open_access_boolean | |
| owner | DE-19 DE-BY-UBM DE-11 |
| owner_facet | DE-19 DE-BY-UBM DE-11 |
| physical | XV, 208 S. Ill. 24 cm |
| publishDate | 2004 |
| publishDateSearch | 2004 |
| publishDateSort | 2004 |
| publisher | Clarendon Press Oxford University 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 New York Oxford University Press XV, 208 S. Ill. 24 cm txt rdacontent n rdamedia nc rdacarrier Oxford logic guides 45 Includes bibliographical references and index 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 Oxford logic guides 45 (DE-604)BV000013997 45 http://www.loc.gov/catdir/enhancements/fy0618/2004049208-d.html Publisher description http://www.loc.gov/catdir/enhancements/fy0618/2004049208-t.html Table of contents only |
| 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_exact_search_txtP | 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 | http://www.loc.gov/catdir/enhancements/fy0618/2004049208-d.html http://www.loc.gov/catdir/enhancements/fy0618/2004049208-t.html |
| volume_link | (DE-604)BV000013997 |
| work_keys_str_mv | AT pymdavidj reductivelogicandproofsearchprooftheorysemanticsandcontrol AT rittereike reductivelogicandproofsearchprooftheorysemanticsandcontrol |