Computability and logic:
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Cambridge [u.a.]
Cambridge Univ. Pr.
1974
|
| Ausgabe: | 1. publ. |
| Schlagworte: | |
| Beschreibung: | 262 S. |
| ISBN: | 052120402X |
Internformat
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV021893060 | ||
| 003 | DE-604 | ||
| 005 | 20220727 | ||
| 007 | t | ||
| 008 | 900914s1974 |||| 00||| eng d | ||
| 020 | |a 052120402X |9 0-521-20402-X | ||
| 035 | |a (OCoLC)959952 | ||
| 035 | |a (DE-599)BVBBV021893060 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-634 |a DE-188 | ||
| 050 | 0 | |a BC135 | |
| 050 | 0 | |a QA248.5 | |
| 082 | 0 | |a 511/.3 |2 18 | |
| 084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 100 | 1 | |a Boolos, George |d 1940-1996 |e Verfasser |0 (DE-588)171984196 |4 aut | |
| 245 | 1 | 0 | |a Computability and logic |c George Boolos ; Richard Jeffrey |
| 250 | |a 1. publ. | ||
| 264 | 1 | |a Cambridge [u.a.] |b Cambridge Univ. Pr. |c 1974 | |
| 300 | |a 262 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 7 | |a Berekenbaarheid |2 gtt | |
| 650 | 7 | |a Fonctions calculables - Informatique |2 ram | |
| 650 | 4 | |a Fonctions récursives | |
| 650 | 7 | |a Fonctions récursives - Informatique |2 ram | |
| 650 | 4 | |a Logique symbolique et mathématique | |
| 650 | 7 | |a Logique symbolique et mathématique |2 ram | |
| 650 | 7 | |a Wiskundige logica |2 gtt | |
| 650 | 7 | |a décidabilité |2 inriac | |
| 650 | 7 | |a fonction récursive |2 inriac | |
| 650 | 7 | |a logique |2 inriac | |
| 650 | 7 | |a machine Turing |2 inriac | |
| 650 | 4 | |a Computable functions | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 4 | |a Recursive functions | |
| 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 Berechenbarkeit |0 (DE-588)4138368-0 |D s |
| 689 | 0 | 1 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 689 | 1 | 0 | |a Berechenbarkeit |0 (DE-588)4138368-0 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Jeffrey, Richard C. |d 1926-2002 |e Verfasser |0 (DE-588)119344491 |4 aut | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-015108257 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804135836871032832 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author | Boolos, George 1940-1996 Jeffrey, Richard C. 1926-2002 |
| author_GND | (DE-588)171984196 (DE-588)119344491 |
| author_facet | Boolos, George 1940-1996 Jeffrey, Richard C. 1926-2002 |
| author_role | aut aut |
| author_sort | Boolos, George 1940-1996 |
| author_variant | g b gb r c j rc rcj |
| building | Verbundindex |
| bvnumber | BV021893060 |
| callnumber-first | B - Philosophy, Psychology, Religion |
| callnumber-label | BC135 |
| callnumber-raw | BC135 QA248.5 |
| callnumber-search | BC135 QA248.5 |
| callnumber-sort | BC 3135 |
| callnumber-subject | BC - Logic |
| classification_rvk | CC 2600 SK 130 |
| ctrlnum | (OCoLC)959952 (DE-599)BVBBV021893060 |
| 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 13 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik Philosophie |
| discipline_str_mv | Mathematik Philosophie |
| edition | 1. publ. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02064nam a2200601zc 4500</leader><controlfield tag="001">BV021893060</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20220727 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">900914s1974 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">052120402X</subfield><subfield code="9">0-521-20402-X</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)959952</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV021893060</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">BC135</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA248.5</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511/.3</subfield><subfield code="2">18</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2600</subfield><subfield code="0">(DE-625)17610:</subfield><subfield code="2">rvk</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">Boolos, George</subfield><subfield code="d">1940-1996</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)171984196</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Computability and logic</subfield><subfield code="c">George Boolos ; Richard Jeffrey</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. publ.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge [u.a.]</subfield><subfield code="b">Cambridge Univ. Pr.</subfield><subfield code="c">1974</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">262 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="650" ind1=" " ind2="7"><subfield code="a">Berekenbaarheid</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Fonctions calculables - Informatique</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Fonctions récursives</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Fonctions récursives - 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">Wiskundige logica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">décidabilité</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">fonction récursive</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">machine Turing</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=" " ind2="4"><subfield code="a">Recursive functions</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">Berechenbarkeit</subfield><subfield code="0">(DE-588)4138368-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><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">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" 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="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Jeffrey, Richard C.</subfield><subfield code="d">1926-2002</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)119344491</subfield><subfield code="4">aut</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-015108257</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></record></collection> |
| id | DE-604.BV021893060 |
| illustrated | Not Illustrated |
| index_date | 2024-07-02T16:04:15Z |
| indexdate | 2024-07-09T20:46:50Z |
| institution | BVB |
| isbn | 052120402X |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-015108257 |
| oclc_num | 959952 |
| open_access_boolean | |
| owner | DE-706 DE-634 DE-188 |
| owner_facet | DE-706 DE-634 DE-188 |
| physical | 262 S. |
| publishDate | 1974 |
| publishDateSearch | 1974 |
| publishDateSort | 1974 |
| publisher | Cambridge Univ. Pr. |
| record_format | marc |
| spelling | Boolos, George 1940-1996 Verfasser (DE-588)171984196 aut Computability and logic George Boolos ; Richard Jeffrey 1. publ. Cambridge [u.a.] Cambridge Univ. Pr. 1974 262 S. txt rdacontent n rdamedia nc rdacarrier Berekenbaarheid gtt Fonctions calculables - Informatique ram Fonctions récursives Fonctions récursives - Informatique ram Logique symbolique et mathématique Logique symbolique et mathématique ram Wiskundige logica gtt décidabilité inriac fonction récursive inriac logique inriac machine Turing inriac Computable functions Logic, Symbolic and mathematical Recursive functions Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Berechenbarkeit (DE-588)4138368-0 gnd rswk-swf Berechenbarkeit (DE-588)4138368-0 s Mathematische Logik (DE-588)4037951-6 s 1\p DE-604 DE-604 Jeffrey, Richard C. 1926-2002 Verfasser (DE-588)119344491 aut 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Boolos, George 1940-1996 Jeffrey, Richard C. 1926-2002 Computability and logic Berekenbaarheid gtt Fonctions calculables - Informatique ram Fonctions récursives Fonctions récursives - Informatique ram Logique symbolique et mathématique Logique symbolique et mathématique ram Wiskundige logica gtt décidabilité inriac fonction récursive inriac logique inriac machine Turing inriac Computable functions Logic, Symbolic and mathematical Recursive functions Mathematische Logik (DE-588)4037951-6 gnd Berechenbarkeit (DE-588)4138368-0 gnd |
| subject_GND | (DE-588)4037951-6 (DE-588)4138368-0 |
| title | Computability and logic |
| title_auth | Computability and logic |
| title_exact_search | Computability and logic |
| title_exact_search_txtP | Computability and logic |
| title_full | Computability and logic George Boolos ; Richard Jeffrey |
| title_fullStr | Computability and logic George Boolos ; Richard Jeffrey |
| title_full_unstemmed | Computability and logic George Boolos ; Richard Jeffrey |
| title_short | Computability and logic |
| title_sort | computability and logic |
| topic | Berekenbaarheid gtt Fonctions calculables - Informatique ram Fonctions récursives Fonctions récursives - Informatique ram Logique symbolique et mathématique Logique symbolique et mathématique ram Wiskundige logica gtt décidabilité inriac fonction récursive inriac logique inriac machine Turing inriac Computable functions Logic, Symbolic and mathematical Recursive functions Mathematische Logik (DE-588)4037951-6 gnd Berechenbarkeit (DE-588)4138368-0 gnd |
| topic_facet | Berekenbaarheid Fonctions calculables - Informatique Fonctions récursives Fonctions récursives - Informatique Logique symbolique et mathématique Wiskundige logica décidabilité fonction récursive logique machine Turing Computable functions Logic, Symbolic and mathematical Recursive functions Mathematische Logik Berechenbarkeit |
| work_keys_str_mv | AT boolosgeorge computabilityandlogic AT jeffreyrichardc computabilityandlogic |