One hundred prisoners and a light bulb:
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Cham [u.a.]
Springer
2015
|
| Subjects: | |
| Physical Description: | IX, 188 S. Ill. |
| ISBN: | 9783319166933 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV042816078 | ||
| 003 | DE-604 | ||
| 005 | 20160208 | ||
| 007 | t| | ||
| 008 | 150909s2015 xx a||| |||| 00||| eng d | ||
| 020 | |a 9783319166933 |c Print |9 978-3-319-16693-3 | ||
| 035 | |a (OCoLC)923818458 | ||
| 035 | |a (DE-599)BVBBV042816078 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-11 |a DE-188 |a DE-384 |a DE-M468 | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a SN 300 |0 (DE-625)143331: |2 rvk | ||
| 100 | 1 | |a Ditmarsch, Hans van |d 1959- |e Verfasser |0 (DE-588)133419703 |4 aut | |
| 245 | 1 | 0 | |a One hundred prisoners and a light bulb |c Hans van Ditmarsch ; Barteld Kooi |
| 264 | 1 | |a Cham [u.a.] |b Springer |c 2015 | |
| 300 | |a IX, 188 S. |b Ill. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 4 | |a Science (General) | |
| 650 | 4 | |a Logic | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 4 | |a Popular Science | |
| 650 | 4 | |a Popular Science in Mathematics | |
| 650 | 4 | |a Mathematical Logic and Formal Languages | |
| 650 | 4 | |a Mathematical Logic and Foundations | |
| 650 | 4 | |a Informatik | |
| 650 | 0 | 7 | |a Formale Sprache |0 (DE-588)4017848-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4151278-9 |a Einführung |2 gnd-content | |
| 689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | 1 | |a Formale Sprache |0 (DE-588)4017848-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Kooi, Barteld |e Verfasser |4 aut | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-319-16694-0 |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-028245470 | |
Record in the Search Index
| _version_ | 1818980754286182400 |
|---|---|
| any_adam_object | |
| author | Ditmarsch, Hans van 1959- Kooi, Barteld |
| author_GND | (DE-588)133419703 |
| author_facet | Ditmarsch, Hans van 1959- Kooi, Barteld |
| author_role | aut aut |
| author_sort | Ditmarsch, Hans van 1959- |
| author_variant | h v d hv hvd b k bk |
| building | Verbundindex |
| bvnumber | BV042816078 |
| classification_rvk | SK 130 SN 300 |
| ctrlnum | (OCoLC)923818458 (DE-599)BVBBV042816078 |
| discipline | Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01672nam a2200481 c 4500</leader><controlfield tag="001">BV042816078</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20160208 </controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">150909s2015 xx a||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319166933</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-319-16693-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)923818458</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042816078</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-11</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-M468</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="084" ind1=" " ind2=" "><subfield code="a">SN 300</subfield><subfield code="0">(DE-625)143331:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Ditmarsch, Hans van</subfield><subfield code="d">1959-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)133419703</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">One hundred prisoners and a light bulb</subfield><subfield code="c">Hans van Ditmarsch ; Barteld Kooi</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">IX, 188 S.</subfield><subfield code="b">Ill.</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="650" ind1=" " ind2="4"><subfield code="a">Science (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">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Popular Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Popular Science in Mathematics</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">Mathematical Logic and Foundations</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Sprache</subfield><subfield code="0">(DE-588)4017848-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="0">(DE-588)4151278-9</subfield><subfield code="a">Einführung</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="1"><subfield code="a">Formale Sprache</subfield><subfield code="0">(DE-588)4017848-1</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">Kooi, Barteld</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">Online-Ausgabe</subfield><subfield code="z">978-3-319-16694-0</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028245470</subfield></datafield></record></collection> |
| genre | (DE-588)4151278-9 Einführung gnd-content |
| genre_facet | Einführung |
| id | DE-604.BV042816078 |
| illustrated | Illustrated |
| indexdate | 2024-12-20T17:20:27Z |
| institution | BVB |
| isbn | 9783319166933 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028245470 |
| oclc_num | 923818458 |
| open_access_boolean | |
| owner | DE-11 DE-188 DE-384 DE-M468 |
| owner_facet | DE-11 DE-188 DE-384 DE-M468 |
| physical | IX, 188 S. Ill. |
| publishDate | 2015 |
| publishDateSearch | 2015 |
| publishDateSort | 2015 |
| publisher | Springer |
| record_format | marc |
| spelling | Ditmarsch, Hans van 1959- Verfasser (DE-588)133419703 aut One hundred prisoners and a light bulb Hans van Ditmarsch ; Barteld Kooi Cham [u.a.] Springer 2015 IX, 188 S. Ill. txt rdacontent n rdamedia nc rdacarrier Science (General) Logic Computer science Logic, Symbolic and mathematical Popular Science Popular Science in Mathematics Mathematical Logic and Formal Languages Mathematical Logic and Foundations Informatik Formale Sprache (DE-588)4017848-1 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf (DE-588)4151278-9 Einführung gnd-content Mathematische Logik (DE-588)4037951-6 s Formale Sprache (DE-588)4017848-1 s DE-604 Kooi, Barteld Verfasser aut Erscheint auch als Online-Ausgabe 978-3-319-16694-0 |
| spellingShingle | Ditmarsch, Hans van 1959- Kooi, Barteld One hundred prisoners and a light bulb Science (General) Logic Computer science Logic, Symbolic and mathematical Popular Science Popular Science in Mathematics Mathematical Logic and Formal Languages Mathematical Logic and Foundations Informatik Formale Sprache (DE-588)4017848-1 gnd Mathematische Logik (DE-588)4037951-6 gnd |
| subject_GND | (DE-588)4017848-1 (DE-588)4037951-6 (DE-588)4151278-9 |
| title | One hundred prisoners and a light bulb |
| title_auth | One hundred prisoners and a light bulb |
| title_exact_search | One hundred prisoners and a light bulb |
| title_full | One hundred prisoners and a light bulb Hans van Ditmarsch ; Barteld Kooi |
| title_fullStr | One hundred prisoners and a light bulb Hans van Ditmarsch ; Barteld Kooi |
| title_full_unstemmed | One hundred prisoners and a light bulb Hans van Ditmarsch ; Barteld Kooi |
| title_short | One hundred prisoners and a light bulb |
| title_sort | one hundred prisoners and a light bulb |
| topic | Science (General) Logic Computer science Logic, Symbolic and mathematical Popular Science Popular Science in Mathematics Mathematical Logic and Formal Languages Mathematical Logic and Foundations Informatik Formale Sprache (DE-588)4017848-1 gnd Mathematische Logik (DE-588)4037951-6 gnd |
| topic_facet | Science (General) Logic Computer science Logic, Symbolic and mathematical Popular Science Popular Science in Mathematics Mathematical Logic and Formal Languages Mathematical Logic and Foundations Informatik Formale Sprache Mathematische Logik Einführung |
| work_keys_str_mv | AT ditmarschhansvan onehundredprisonersandalightbulb AT kooibarteld onehundredprisonersandalightbulb |