Proof, Computation and Agency: Logic at the Crossroads
Saved in:
| Format: | Electronic eBook |
|---|---|
| Language: | English |
| Published: |
Dordrecht
Springer Netherlands
2011
|
| Series: | Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science
352 |
| Subjects: | |
| Online Access: | UBG01 UBR01 Volltext |
| Physical Description: | 1 Online-Ressource |
| ISBN: | 9789400700802 |
| DOI: | 10.1007/978-94-007-0080-2 |
Staff View
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV040320210 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 120719s2011 |||| o||u| ||||||eng d | ||
| 020 | |a 9789400700802 |9 978-94-007-0080-2 | ||
| 024 | 7 | |a 10.1007/978-94-007-0080-2 |2 doi | |
| 035 | |a (OCoLC)725136001 | ||
| 035 | |a (DE-599)BVBBV040320210 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-355 |a DE-473 | ||
| 245 | 1 | 0 | |a Proof, Computation and Agency |b Logic at the Crossroads |c edited by Johan van Benthem, Amitabha Gupta, Rohit Parikh |
| 264 | 1 | |a Dordrecht |b Springer Netherlands |c 2011 | |
| 300 | |a 1 Online-Ressource | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science |v 352 | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Philosophie | |
| 650 | 4 | |a Philosophy (General) | |
| 650 | 4 | |a Logic | |
| 650 | 4 | |a Philosophy, modern | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 4 | |a Philosophy | |
| 650 | 4 | |a Mathematical Logic and Foundations | |
| 650 | 4 | |a Mathematical Logic and Formal Languages | |
| 650 | 4 | |a Non-Western Philosophy | |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |8 1\p |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
| 689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | |8 2\p |5 DE-604 | |
| 700 | 1 | |a van Benthem, Johan |e Sonstige |4 oth | |
| 700 | 1 | |a Gupta, Amitabha |e Sonstige |4 oth | |
| 700 | 1 | |a Parikh, Rohit |e Sonstige |4 oth | |
| 710 | 2 | |a SpringerLink (Online service) |e Sonstige |4 oth | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-94-007-0080-2 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-SHU | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-025174844 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 966 | e | |u https://doi.org/10.1007/978-94-007-0080-2 |l UBG01 |p ZDB-2-SHU |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-94-007-0080-2 |l UBR01 |p ZDB-2-SHU |x Verlag |3 Volltext | |
Record in the Search Index
| _version_ | 1804149347006283776 |
|---|---|
| any_adam_object | |
| building | Verbundindex |
| bvnumber | BV040320210 |
| collection | ZDB-2-SHU |
| ctrlnum | (OCoLC)725136001 (DE-599)BVBBV040320210 |
| doi_str_mv | 10.1007/978-94-007-0080-2 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02198nmm a2200565zc 4500</leader><controlfield tag="001">BV040320210</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">120719s2011 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789400700802</subfield><subfield code="9">978-94-007-0080-2</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-94-007-0080-2</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)725136001</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV040320210</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-355</subfield><subfield code="a">DE-473</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Proof, Computation and Agency</subfield><subfield code="b">Logic at the Crossroads</subfield><subfield code="c">edited by Johan van Benthem, Amitabha Gupta, Rohit Parikh</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Dordrecht</subfield><subfield code="b">Springer Netherlands</subfield><subfield code="c">2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource</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">Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science</subfield><subfield code="v">352</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophie</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophy (General)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophy, modern</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</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">Philosophy</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">Mathematical Logic and Formal Languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Non-Western Philosophy</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="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><subfield code="0">(DE-588)4143413-4</subfield><subfield code="a">Aufsatzsammlung</subfield><subfield code="2">gnd-content</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=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">van Benthem, Johan</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Gupta, Amitabha</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Parikh, Rohit</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">SpringerLink (Online service)</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-94-007-0080-2</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SHU</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-025174844</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-94-007-0080-2</subfield><subfield code="l">UBG01</subfield><subfield code="p">ZDB-2-SHU</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-94-007-0080-2</subfield><subfield code="l">UBR01</subfield><subfield code="p">ZDB-2-SHU</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | 1\p (DE-588)4143413-4 Aufsatzsammlung gnd-content |
| genre_facet | Aufsatzsammlung |
| id | DE-604.BV040320210 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T00:21:35Z |
| institution | BVB |
| isbn | 9789400700802 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-025174844 |
| oclc_num | 725136001 |
| open_access_boolean | |
| owner | DE-355 DE-BY-UBR DE-473 DE-BY-UBG |
| owner_facet | DE-355 DE-BY-UBR DE-473 DE-BY-UBG |
| physical | 1 Online-Ressource |
| psigel | ZDB-2-SHU |
| publishDate | 2011 |
| publishDateSearch | 2011 |
| publishDateSort | 2011 |
| publisher | Springer Netherlands |
| record_format | marc |
| series2 | Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science |
| spelling | Proof, Computation and Agency Logic at the Crossroads edited by Johan van Benthem, Amitabha Gupta, Rohit Parikh Dordrecht Springer Netherlands 2011 1 Online-Ressource txt rdacontent c rdamedia cr rdacarrier Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science 352 Informatik Philosophie Philosophy (General) Logic Philosophy, modern Computer science Logic, Symbolic and mathematical Philosophy Mathematical Logic and Foundations Mathematical Logic and Formal Languages Non-Western Philosophy Mathematische Logik (DE-588)4037951-6 gnd rswk-swf 1\p (DE-588)4143413-4 Aufsatzsammlung gnd-content Mathematische Logik (DE-588)4037951-6 s 2\p DE-604 van Benthem, Johan Sonstige oth Gupta, Amitabha Sonstige oth Parikh, Rohit Sonstige oth SpringerLink (Online service) Sonstige oth https://doi.org/10.1007/978-94-007-0080-2 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Proof, Computation and Agency Logic at the Crossroads Informatik Philosophie Philosophy (General) Logic Philosophy, modern Computer science Logic, Symbolic and mathematical Philosophy Mathematical Logic and Foundations Mathematical Logic and Formal Languages Non-Western Philosophy Mathematische Logik (DE-588)4037951-6 gnd |
| subject_GND | (DE-588)4037951-6 (DE-588)4143413-4 |
| title | Proof, Computation and Agency Logic at the Crossroads |
| title_auth | Proof, Computation and Agency Logic at the Crossroads |
| title_exact_search | Proof, Computation and Agency Logic at the Crossroads |
| title_full | Proof, Computation and Agency Logic at the Crossroads edited by Johan van Benthem, Amitabha Gupta, Rohit Parikh |
| title_fullStr | Proof, Computation and Agency Logic at the Crossroads edited by Johan van Benthem, Amitabha Gupta, Rohit Parikh |
| title_full_unstemmed | Proof, Computation and Agency Logic at the Crossroads edited by Johan van Benthem, Amitabha Gupta, Rohit Parikh |
| title_short | Proof, Computation and Agency |
| title_sort | proof computation and agency logic at the crossroads |
| title_sub | Logic at the Crossroads |
| topic | Informatik Philosophie Philosophy (General) Logic Philosophy, modern Computer science Logic, Symbolic and mathematical Philosophy Mathematical Logic and Foundations Mathematical Logic and Formal Languages Non-Western Philosophy Mathematische Logik (DE-588)4037951-6 gnd |
| topic_facet | Informatik Philosophie Philosophy (General) Logic Philosophy, modern Computer science Logic, Symbolic and mathematical Philosophy Mathematical Logic and Foundations Mathematical Logic and Formal Languages Non-Western Philosophy Mathematische Logik Aufsatzsammlung |
| url | https://doi.org/10.1007/978-94-007-0080-2 |
| work_keys_str_mv | AT vanbenthemjohan proofcomputationandagencylogicatthecrossroads AT guptaamitabha proofcomputationandagencylogicatthecrossroads AT parikhrohit proofcomputationandagencylogicatthecrossroads AT springerlinkonlineservice proofcomputationandagencylogicatthecrossroads |