Computability and logic:
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Cambridge
Cambridge Univ. Pr.
1989
|
| Edition: | 3. ed. |
| Subjects: | |
| Physical Description: | X, 304 S. graph. Darst. |
| ISBN: | 052138026X 0521389232 |
Staff View
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV021892556 | ||
| 003 | DE-604 | ||
| 005 | 20040301000000.0 | ||
| 007 | t | ||
| 008 | 900816s1989 d||| |||| 00||| eng d | ||
| 020 | |a 052138026X |9 0-521-38026-X | ||
| 020 | |a 0521389232 |9 0-521-38923-2 | ||
| 035 | |a (OCoLC)19589563 | ||
| 035 | |a (DE-599)BVBBV021892556 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 | ||
| 050 | 0 | |a BC135 | |
| 050 | 0 | |a QA9.59 | |
| 082 | 0 | |a 511.3 |2 20 | |
| 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 |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Computability and logic |c George S. Boolos ; Richard C. Jeffrey |
| 250 | |a 3. ed. | ||
| 264 | 1 | |a Cambridge |b Cambridge Univ. Pr. |c 1989 | |
| 300 | |a X, 304 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 | 4 | |a Fonctions calculables | |
| 650 | 7 | |a Fonctions calculables |2 ram | |
| 650 | 4 | |a Fonctions récursives | |
| 650 | 7 | |a Fonctions récursives |2 ram | |
| 650 | 7 | |a Logica |2 gtt | |
| 650 | 4 | |a Logique symbolique et mathématique | |
| 650 | 7 | |a Logique symbolique et mathématique |2 ram | |
| 650 | 7 | |a calculabilité |2 inriac | |
| 650 | 7 | |a logique 1er ordre |2 inriac | |
| 650 | 7 | |a logique ordre 2 |2 inriac | |
| 650 | 7 | |a récursivité |2 inriac | |
| 650 | 7 | |a théorème incomplétude |2 inriac | |
| 650 | 4 | |a Logik | |
| 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 | |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-015107753 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Record in the Search Index
| _version_ | 1804135836239790080 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author | Boolos, George Jeffrey, Richard C. 1926-2002 |
| author_GND | (DE-588)119344491 |
| author_facet | Boolos, George Jeffrey, Richard C. 1926-2002 |
| author_role | aut aut |
| author_sort | Boolos, George |
| author_variant | g b gb r c j rc rcj |
| building | Verbundindex |
| bvnumber | BV021892556 |
| callnumber-first | B - Philosophy, Psychology, Religion |
| callnumber-label | BC135 |
| callnumber-raw | BC135 QA9.59 |
| callnumber-search | BC135 QA9.59 |
| callnumber-sort | BC 3135 |
| callnumber-subject | BC - Logic |
| classification_rvk | CC 2600 SK 130 |
| ctrlnum | (OCoLC)19589563 (DE-599)BVBBV021892556 |
| 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 | Mathematik Philosophie |
| discipline_str_mv | Mathematik Philosophie |
| edition | 3. ed. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02148nam a2200649zc 4500</leader><controlfield tag="001">BV021892556</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20040301000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">900816s1989 d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">052138026X</subfield><subfield code="9">0-521-38026-X</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0521389232</subfield><subfield code="9">0-521-38923-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)19589563</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV021892556</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></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">BC135</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">20</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="e">Verfasser</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 S. Boolos ; Richard C. Jeffrey</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">3. ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge</subfield><subfield code="b">Cambridge Univ. Pr.</subfield><subfield code="c">1989</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 304 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="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="4"><subfield code="a">Fonctions récursives</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Fonctions récursives</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logica</subfield><subfield code="2">gtt</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">calculabilité</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique 1er ordre</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique ordre 2</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">récursivité</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">théorème incomplétude</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logik</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="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-015107753</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.BV021892556 |
| illustrated | Illustrated |
| index_date | 2024-07-02T16:04:13Z |
| indexdate | 2024-07-09T20:46:50Z |
| institution | BVB |
| isbn | 052138026X 0521389232 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-015107753 |
| oclc_num | 19589563 |
| open_access_boolean | |
| owner | DE-706 |
| owner_facet | DE-706 |
| physical | X, 304 S. graph. Darst. |
| publishDate | 1989 |
| publishDateSearch | 1989 |
| publishDateSort | 1989 |
| publisher | Cambridge Univ. Pr. |
| record_format | marc |
| spelling | Boolos, George Verfasser aut Computability and logic George S. Boolos ; Richard C. Jeffrey 3. ed. Cambridge Cambridge Univ. Pr. 1989 X, 304 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Berekenbaarheid gtt Fonctions calculables Fonctions calculables ram Fonctions récursives Fonctions récursives ram Logica gtt Logique symbolique et mathématique Logique symbolique et mathématique ram calculabilité inriac logique 1er ordre inriac logique ordre 2 inriac récursivité inriac théorème incomplétude inriac Logik 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 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 Jeffrey, Richard C. 1926-2002 Computability and logic Berekenbaarheid gtt Fonctions calculables Fonctions calculables ram Fonctions récursives Fonctions récursives ram Logica gtt Logique symbolique et mathématique Logique symbolique et mathématique ram calculabilité inriac logique 1er ordre inriac logique ordre 2 inriac récursivité inriac théorème incomplétude inriac Logik 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_exact_search_txtP | Computability and logic |
| title_full | Computability and logic George S. Boolos ; Richard C. Jeffrey |
| title_fullStr | Computability and logic George S. Boolos ; Richard C. Jeffrey |
| title_full_unstemmed | Computability and logic George S. Boolos ; Richard C. Jeffrey |
| title_short | Computability and logic |
| title_sort | computability and logic |
| topic | Berekenbaarheid gtt Fonctions calculables Fonctions calculables ram Fonctions récursives Fonctions récursives ram Logica gtt Logique symbolique et mathématique Logique symbolique et mathématique ram calculabilité inriac logique 1er ordre inriac logique ordre 2 inriac récursivité inriac théorème incomplétude inriac Logik 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 Fonctions récursives Logica Logique symbolique et mathématique calculabilité logique 1er ordre logique ordre 2 récursivité théorème incomplétude Logik Computable functions Logic, Symbolic and mathematical Recursive functions Berechenbarkeit Mathematische Logik |
| work_keys_str_mv | AT boolosgeorge computabilityandlogic AT jeffreyrichardc computabilityandlogic |