Linking game-theoretical approaches with constructive type theory: dialogical strategies, CTT demonstrations and the axiom of choice
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Cham ; Heidelberg ; New York ; Dordrecht ; London
Springer International Publishing
2015
|
| Series: | SpringerBriefs in Philosophy
|
| Subjects: | |
| Physical Description: | xix, 99 Seiten Diagramme |
| ISBN: | 9783319190624 |
| ISSN: | 2211-4548 |
Staff View
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV048891088 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t| | ||
| 008 | 230405s2015 xx |||| |||| 00||| eng d | ||
| 020 | |a 9783319190624 |c Print |9 978-3-319-19062-4 | ||
| 035 | |a (OCoLC)1376405168 | ||
| 035 | |a (DE-599)BVBBV048891088 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-83 | ||
| 082 | 0 | |a 160 |2 23 | |
| 084 | |a 03B38 |2 msc | ||
| 084 | |a 03E15 |2 msc | ||
| 084 | |a 03A05 |2 msc | ||
| 084 | |a 03E25 |2 msc | ||
| 084 | |a 91A44 |2 msc | ||
| 100 | 1 | |a Clerbout, Nicolas |0 (DE-588)1252372906 |4 aut | |
| 245 | 1 | 0 | |a Linking game-theoretical approaches with constructive type theory |b dialogical strategies, CTT demonstrations and the axiom of choice |c by Nicolas Clerbout, Shahid Rahman |
| 264 | 1 | |a Cham ; Heidelberg ; New York ; Dordrecht ; London |b Springer International Publishing |c 2015 | |
| 300 | |a xix, 99 Seiten |b Diagramme | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a SpringerBriefs in Philosophy |x 2211-4548 | |
| 650 | 4 | |a Philosophy (General) | |
| 650 | 4 | |a Logic | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Mathematics | |
| 650 | 4 | |a Philosophy | |
| 650 | 4 | |a Mathematical Logic and Formal Languages | |
| 650 | 4 | |a Game Theory, Economics, Social and Behav. Sciences | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Mathematik | |
| 650 | 4 | |a Philosophie | |
| 700 | 1 | |a Rahman, Shahid |d 1956- |0 (DE-588)172726697 |4 aut | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-319-19063-1 |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-034155669 | |
Record in the Search Index
| _version_ | 1818990471935950848 |
|---|---|
| any_adam_object | |
| author | Clerbout, Nicolas Rahman, Shahid 1956- |
| author_GND | (DE-588)1252372906 (DE-588)172726697 |
| author_facet | Clerbout, Nicolas Rahman, Shahid 1956- |
| author_role | aut aut |
| author_sort | Clerbout, Nicolas |
| author_variant | n c nc s r sr |
| building | Verbundindex |
| bvnumber | BV048891088 |
| ctrlnum | (OCoLC)1376405168 (DE-599)BVBBV048891088 |
| dewey-full | 160 |
| dewey-hundreds | 100 - Philosophy & psychology |
| dewey-ones | 160 - Philosophical logic |
| dewey-raw | 160 |
| dewey-search | 160 |
| dewey-sort | 3160 |
| dewey-tens | 160 - Philosophical logic |
| discipline | Philosophie |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01607nam a2200481zc 4500</leader><controlfield tag="001">BV048891088</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">230405s2015 xx |||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319190624</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-319-19062-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1376405168</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV048891088</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-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">160</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03B38</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03E15</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03A05</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03E25</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">91A44</subfield><subfield code="2">msc</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Clerbout, Nicolas</subfield><subfield code="0">(DE-588)1252372906</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Linking game-theoretical approaches with constructive type theory</subfield><subfield code="b">dialogical strategies, CTT demonstrations and the axiom of choice</subfield><subfield code="c">by Nicolas Clerbout, Shahid Rahman</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham ; Heidelberg ; New York ; Dordrecht ; London</subfield><subfield code="b">Springer International Publishing</subfield><subfield code="c">2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xix, 99 Seiten</subfield><subfield code="b">Diagramme</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="0" ind2=" "><subfield code="a">SpringerBriefs in Philosophy</subfield><subfield code="x">2211-4548</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">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics</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 Formal Languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Game Theory, Economics, Social and Behav. Sciences</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="650" ind1=" " ind2="4"><subfield code="a">Philosophie</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Rahman, Shahid</subfield><subfield code="d">1956-</subfield><subfield code="0">(DE-588)172726697</subfield><subfield code="4">aut</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-3-319-19063-1</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-034155669</subfield></datafield></record></collection> |
| id | DE-604.BV048891088 |
| illustrated | Not Illustrated |
| indexdate | 2024-12-20T19:54:54Z |
| institution | BVB |
| isbn | 9783319190624 |
| issn | 2211-4548 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-034155669 |
| oclc_num | 1376405168 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | xix, 99 Seiten Diagramme |
| publishDate | 2015 |
| publishDateSearch | 2015 |
| publishDateSort | 2015 |
| publisher | Springer International Publishing |
| record_format | marc |
| series2 | SpringerBriefs in Philosophy |
| spelling | Clerbout, Nicolas (DE-588)1252372906 aut Linking game-theoretical approaches with constructive type theory dialogical strategies, CTT demonstrations and the axiom of choice by Nicolas Clerbout, Shahid Rahman Cham ; Heidelberg ; New York ; Dordrecht ; London Springer International Publishing 2015 xix, 99 Seiten Diagramme txt rdacontent n rdamedia nc rdacarrier SpringerBriefs in Philosophy 2211-4548 Philosophy (General) Logic Computer science Mathematics Philosophy Mathematical Logic and Formal Languages Game Theory, Economics, Social and Behav. Sciences Informatik Mathematik Philosophie Rahman, Shahid 1956- (DE-588)172726697 aut Erscheint auch als Online-Ausgabe 978-3-319-19063-1 |
| spellingShingle | Clerbout, Nicolas Rahman, Shahid 1956- Linking game-theoretical approaches with constructive type theory dialogical strategies, CTT demonstrations and the axiom of choice Philosophy (General) Logic Computer science Mathematics Philosophy Mathematical Logic and Formal Languages Game Theory, Economics, Social and Behav. Sciences Informatik Mathematik Philosophie |
| title | Linking game-theoretical approaches with constructive type theory dialogical strategies, CTT demonstrations and the axiom of choice |
| title_auth | Linking game-theoretical approaches with constructive type theory dialogical strategies, CTT demonstrations and the axiom of choice |
| title_exact_search | Linking game-theoretical approaches with constructive type theory dialogical strategies, CTT demonstrations and the axiom of choice |
| title_full | Linking game-theoretical approaches with constructive type theory dialogical strategies, CTT demonstrations and the axiom of choice by Nicolas Clerbout, Shahid Rahman |
| title_fullStr | Linking game-theoretical approaches with constructive type theory dialogical strategies, CTT demonstrations and the axiom of choice by Nicolas Clerbout, Shahid Rahman |
| title_full_unstemmed | Linking game-theoretical approaches with constructive type theory dialogical strategies, CTT demonstrations and the axiom of choice by Nicolas Clerbout, Shahid Rahman |
| title_short | Linking game-theoretical approaches with constructive type theory |
| title_sort | linking game theoretical approaches with constructive type theory dialogical strategies ctt demonstrations and the axiom of choice |
| title_sub | dialogical strategies, CTT demonstrations and the axiom of choice |
| topic | Philosophy (General) Logic Computer science Mathematics Philosophy Mathematical Logic and Formal Languages Game Theory, Economics, Social and Behav. Sciences Informatik Mathematik Philosophie |
| topic_facet | Philosophy (General) Logic Computer science Mathematics Philosophy Mathematical Logic and Formal Languages Game Theory, Economics, Social and Behav. Sciences Informatik Mathematik Philosophie |
| work_keys_str_mv | AT clerboutnicolas linkinggametheoreticalapproacheswithconstructivetypetheorydialogicalstrategiescttdemonstrationsandtheaxiomofchoice AT rahmanshahid linkinggametheoreticalapproacheswithconstructivetypetheorydialogicalstrategiescttdemonstrationsandtheaxiomofchoice |