Computability and logic:
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Cambridge
Univ. Press
1974
|
| Schlagworte: | |
| Beschreibung: | X, 262 S. graph. Darst. |
| ISBN: | 052120402X |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV002280777 | ||
| 003 | DE-604 | ||
| 005 | 20230603 | ||
| 007 | t | ||
| 008 | 890928s1974 d||| |||| 00||| eng d | ||
| 020 | |a 052120402X |9 0-521-20402-X | ||
| 035 | |a (OCoLC)959952 | ||
| 035 | |a (DE-599)BVBBV002280777 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-384 |a DE-355 |a DE-29T |a DE-29 |a DE-19 |a DE-83 | ||
| 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 | ||
| 084 | |a 5,1 |2 ssgn | ||
| 084 | |a 03D15 |2 msc | ||
| 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 |
| 264 | 1 | |a Cambridge |b Univ. Press |c 1974 | |
| 300 | |a X, 262 S. |b graph. Darst. | ||
| 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 Berechenbarkeit |0 (DE-588)4138368-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |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 | |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-001498739 | ||
Datensatz im Suchindex
| _version_ | 1804116739478257664 |
|---|---|
| any_adam_object | |
| 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 | BV002280777 |
| 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)BVBBV002280777 |
| 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 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01964nam a2200577 c 4500</leader><controlfield tag="001">BV002280777</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20230603 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">890928s1974 d||| |||| 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)BVBBV002280777</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-91G</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-83</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="084" ind1=" " ind2=" "><subfield code="a">5,1</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03D15</subfield><subfield code="2">msc</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="264" ind1=" " ind2="1"><subfield code="a">Cambridge</subfield><subfield code="b">Univ. Press</subfield><subfield code="c">1974</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 262 S.</subfield><subfield code="b">graph. Darst.</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">Berechenbarkeit</subfield><subfield code="0">(DE-588)4138368-0</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="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="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-001498739</subfield></datafield></record></collection> |
| id | DE-604.BV002280777 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T15:43:18Z |
| institution | BVB |
| isbn | 052120402X |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-001498739 |
| oclc_num | 959952 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-384 DE-355 DE-BY-UBR DE-29T DE-29 DE-19 DE-BY-UBM DE-83 |
| owner_facet | DE-91G DE-BY-TUM DE-384 DE-355 DE-BY-UBR DE-29T DE-29 DE-19 DE-BY-UBM DE-83 |
| physical | X, 262 S. graph. Darst. |
| publishDate | 1974 |
| publishDateSearch | 1974 |
| publishDateSort | 1974 |
| publisher | Univ. Press |
| record_format | marc |
| spelling | Boolos, George 1940-1996 Verfasser (DE-588)171984196 aut Computability and logic George Boolos ; Richard Jeffrey Cambridge Univ. Press 1974 X, 262 S. graph. Darst. 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 Berechenbarkeit (DE-588)4138368-0 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Berechenbarkeit (DE-588)4138368-0 s Mathematische Logik (DE-588)4037951-6 s DE-604 Jeffrey, Richard C. 1926-2002 Verfasser (DE-588)119344491 aut |
| 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 Berechenbarkeit (DE-588)4138368-0 gnd Mathematische Logik (DE-588)4037951-6 gnd |
| subject_GND | (DE-588)4138368-0 (DE-588)4037951-6 |
| title | Computability and logic |
| title_auth | Computability and logic |
| title_exact_search | 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 Berechenbarkeit (DE-588)4138368-0 gnd Mathematische Logik (DE-588)4037951-6 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 Berechenbarkeit Mathematische Logik |
| work_keys_str_mv | AT boolosgeorge computabilityandlogic AT jeffreyrichardc computabilityandlogic |