Computability and logic:
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Chichester [u.a.]
Horwood [u.a.]
1987
|
| Edition: | 1. publ. |
| Series: | Ellis Horwood series in mathematics and its applications
|
| Subjects: | |
| Physical Description: | 243 S. |
| ISBN: | 0745800343 0470208473 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV003682392 | ||
| 003 | DE-604 | ||
| 005 | 20051028 | ||
| 007 | t | ||
| 008 | 900725s1987 |||| 00||| eng d | ||
| 020 | |a 0745800343 |9 0-7458-0034-3 | ||
| 020 | |a 0470208473 |9 0-470-20847-3 | ||
| 035 | |a (OCoLC)246507155 | ||
| 035 | |a (DE-599)BVBBV003682392 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-384 |a DE-703 |a DE-355 |a DE-706 |a DE-83 |a DE-11 | ||
| 050 | 0 | |a QA9.59 | |
| 082 | 0 | |a 511.3 |2 19 | |
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a ST 130 |0 (DE-625)143588: |2 rvk | ||
| 084 | |a ST 134 |0 (DE-625)143590: |2 rvk | ||
| 084 | |a 03Dxx |2 msc | ||
| 100 | 1 | |a Cohen, Daniel E. |d 1934- |e Verfasser |0 (DE-588)1029543038 |4 aut | |
| 245 | 1 | 0 | |a Computability and logic |c Daniel E. Cohen |
| 250 | |a 1. publ. | ||
| 264 | 1 | |a Chichester [u.a.] |b Horwood [u.a.] |c 1987 | |
| 300 | |a 243 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Ellis Horwood series in mathematics and its applications | |
| 650 | 4 | |a Fonctions calculables | |
| 650 | 7 | |a Fonctions calculables |2 ram | |
| 650 | 7 | |a Informatique |2 ram | |
| 650 | 4 | |a Logique symbolique et mathématique | |
| 650 | 7 | |a Logique symbolique et mathématique |2 ram | |
| 650 | 7 | |a Logique |2 ram | |
| 650 | 7 | |a Wiskundige logica |2 gtt | |
| 650 | 7 | |a informatique théorique |2 inriac | |
| 650 | 7 | |a théorie machine |2 inriac | |
| 650 | 4 | |a Computable functions | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 0 | 7 | |a Automatentheorie |0 (DE-588)4003953-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Berechenbarkeit |0 (DE-588)4138368-0 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Automatentheorie |0 (DE-588)4003953-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Berechenbarkeit |0 (DE-588)4138368-0 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a Berechenbarkeit |0 (DE-588)4138368-0 |D s |
| 689 | 3 | 1 | |a Automatentheorie |0 (DE-588)4003953-5 |D s |
| 689 | 3 | |5 DE-604 | |
Record in the Search Index
| _version_ | 1805083557328060416 |
|---|---|
| adam_text | |
| any_adam_object | |
| author | Cohen, Daniel E. 1934- |
| author_GND | (DE-588)1029543038 |
| author_facet | Cohen, Daniel E. 1934- |
| author_role | aut |
| author_sort | Cohen, Daniel E. 1934- |
| author_variant | d e c de dec |
| building | Verbundindex |
| bvnumber | BV003682392 |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9.59 |
| callnumber-search | QA9.59 |
| callnumber-sort | QA 19.59 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SK 130 ST 130 ST 134 |
| ctrlnum | (OCoLC)246507155 (DE-599)BVBBV003682392 |
| 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 | Informatik Mathematik |
| edition | 1. publ. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV003682392</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20051028</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">900725s1987 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0745800343</subfield><subfield code="9">0-7458-0034-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0470208473</subfield><subfield code="9">0-470-20847-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)246507155</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV003682392</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9.59</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">19</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">ST 130</subfield><subfield code="0">(DE-625)143588:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 134</subfield><subfield code="0">(DE-625)143590:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03Dxx</subfield><subfield code="2">msc</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Cohen, Daniel E.</subfield><subfield code="d">1934-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1029543038</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Computability and logic</subfield><subfield code="c">Daniel E. Cohen</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. publ.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Chichester [u.a.]</subfield><subfield code="b">Horwood [u.a.]</subfield><subfield code="c">1987</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">243 S.</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">Ellis Horwood series in mathematics and its applications</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Fonctions calculables</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Fonctions calculables</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Informatique</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logique symbolique et mathématique</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logique symbolique et mathématique</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logique</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Wiskundige logica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">informatique théorique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">théorie machine</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computable functions</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Automatentheorie</subfield><subfield code="0">(DE-588)4003953-5</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="650" ind1="0" ind2="7"><subfield code="a">Berechenbarkeit</subfield><subfield code="0">(DE-588)4138368-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Automatentheorie</subfield><subfield code="0">(DE-588)4003953-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" 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="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Berechenbarkeit</subfield><subfield code="0">(DE-588)4138368-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Berechenbarkeit</subfield><subfield code="0">(DE-588)4138368-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="1"><subfield code="a">Automatentheorie</subfield><subfield code="0">(DE-588)4003953-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="5">DE-604</subfield></datafield></record></collection> |
| id | DE-604.BV003682392 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-20T07:50:27Z |
| institution | BVB |
| isbn | 0745800343 0470208473 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-002342838 |
| oclc_num | 246507155 |
| open_access_boolean | |
| owner | DE-384 DE-703 DE-355 DE-BY-UBR DE-706 DE-83 DE-11 |
| owner_facet | DE-384 DE-703 DE-355 DE-BY-UBR DE-706 DE-83 DE-11 |
| physical | 243 S. |
| publishDate | 1987 |
| publishDateSearch | 1987 |
| publishDateSort | 1987 |
| publisher | Horwood [u.a.] |
| record_format | marc |
| series2 | Ellis Horwood series in mathematics and its applications |
| spelling | Cohen, Daniel E. 1934- Verfasser (DE-588)1029543038 aut Computability and logic Daniel E. Cohen 1. publ. Chichester [u.a.] Horwood [u.a.] 1987 243 S. txt rdacontent n rdamedia nc rdacarrier Ellis Horwood series in mathematics and its applications Fonctions calculables Fonctions calculables ram Informatique ram Logique symbolique et mathématique Logique symbolique et mathématique ram Logique ram Wiskundige logica gtt informatique théorique inriac théorie machine inriac Computable functions Logic, Symbolic and mathematical Automatentheorie (DE-588)4003953-5 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Berechenbarkeit (DE-588)4138368-0 gnd rswk-swf Automatentheorie (DE-588)4003953-5 s DE-604 Mathematische Logik (DE-588)4037951-6 s Berechenbarkeit (DE-588)4138368-0 s |
| spellingShingle | Cohen, Daniel E. 1934- Computability and logic Fonctions calculables Fonctions calculables ram Informatique ram Logique symbolique et mathématique Logique symbolique et mathématique ram Logique ram Wiskundige logica gtt informatique théorique inriac théorie machine inriac Computable functions Logic, Symbolic and mathematical Automatentheorie (DE-588)4003953-5 gnd Mathematische Logik (DE-588)4037951-6 gnd Berechenbarkeit (DE-588)4138368-0 gnd |
| subject_GND | (DE-588)4003953-5 (DE-588)4037951-6 (DE-588)4138368-0 |
| title | Computability and logic |
| title_auth | Computability and logic |
| title_exact_search | Computability and logic |
| title_full | Computability and logic Daniel E. Cohen |
| title_fullStr | Computability and logic Daniel E. Cohen |
| title_full_unstemmed | Computability and logic Daniel E. Cohen |
| title_short | Computability and logic |
| title_sort | computability and logic |
| topic | Fonctions calculables Fonctions calculables ram Informatique ram Logique symbolique et mathématique Logique symbolique et mathématique ram Logique ram Wiskundige logica gtt informatique théorique inriac théorie machine inriac Computable functions Logic, Symbolic and mathematical Automatentheorie (DE-588)4003953-5 gnd Mathematische Logik (DE-588)4037951-6 gnd Berechenbarkeit (DE-588)4138368-0 gnd |
| topic_facet | Fonctions calculables Informatique Logique symbolique et mathématique Logique Wiskundige logica informatique théorique théorie machine Computable functions Logic, Symbolic and mathematical Automatentheorie Mathematische Logik Berechenbarkeit |
| work_keys_str_mv | AT cohendaniele computabilityandlogic |