Computability and logic:
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Cambridge u.a.
Cambridge Univ. Pr.
1989
|
| Ausgabe: | 3. ed. |
| Schlagworte: | |
| Beschreibung: | X, 304 S. |
| ISBN: | 052138026X 0521389232 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV008056379 | ||
| 003 | DE-604 | ||
| 005 | 20000410 | ||
| 007 | t | ||
| 008 | 930712s1989 |||| 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)BVBBV008056379 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-20 |a DE-29 |a DE-N2 |a DE-29T |a DE-91G |a DE-384 |a DE-188 | ||
| 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 | ||
| 084 | |a DAT 542f |2 stub | ||
| 100 | 1 | |a Boolos, George |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Computability and logic |c George Boolos ; Richard Jeffrey |
| 250 | |a 3. ed. | ||
| 264 | 1 | |a Cambridge u.a. |b Cambridge Univ. Pr. |c 1989 | |
| 300 | |a X, 304 S. | ||
| 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 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 | |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-005301393 | ||
Datensatz im Suchindex
| _version_ | 1804122421749350400 |
|---|---|
| any_adam_object | |
| 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 | BV008056379 |
| 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 |
| classification_tum | DAT 542f |
| ctrlnum | (OCoLC)19589563 (DE-599)BVBBV008056379 |
| 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 Philosophie |
| edition | 3. ed. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02125nam a2200649 c 4500</leader><controlfield tag="001">BV008056379</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20000410 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">930712s1989 |||| 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)BVBBV008056379</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-20</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-N2</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-384</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">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="084" ind1=" " ind2=" "><subfield code="a">DAT 542f</subfield><subfield code="2">stub</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 Boolos ; Richard 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 u.a.</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></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">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="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-005301393</subfield></datafield></record></collection> |
| id | DE-604.BV008056379 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:13:37Z |
| institution | BVB |
| isbn | 052138026X 0521389232 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-005301393 |
| oclc_num | 19589563 |
| open_access_boolean | |
| owner | DE-20 DE-29 DE-N2 DE-29T DE-91G DE-BY-TUM DE-384 DE-188 |
| owner_facet | DE-20 DE-29 DE-N2 DE-29T DE-91G DE-BY-TUM DE-384 DE-188 |
| physical | X, 304 S. |
| publishDate | 1989 |
| publishDateSearch | 1989 |
| publishDateSort | 1989 |
| publisher | Cambridge Univ. Pr. |
| record_format | marc |
| spelling | Boolos, George Verfasser aut Computability and logic George Boolos ; Richard Jeffrey 3. ed. Cambridge u.a. Cambridge Univ. Pr. 1989 X, 304 S. 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 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 DE-604 Jeffrey, Richard C. 1926-2002 Verfasser (DE-588)119344491 aut |
| 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 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_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 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 Mathematische Logik (DE-588)4037951-6 gnd Berechenbarkeit (DE-588)4138368-0 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 Mathematische Logik Berechenbarkeit |
| work_keys_str_mv | AT boolosgeorge computabilityandlogic AT jeffreyrichardc computabilityandlogic |