Computability and logic.:
Now in its fourth edition, this book has become a classic because it covers not simply the staple topics of intermediate logic courses but also a large number of other topics. John Burgess has enhanced the book by adding problems at the end of each chapter and by rewriting chapters.
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Weitere Verfasser: | , |
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cambridge ; New York :
Cambridge University Press,
2002.
|
| Ausgabe: | 4th ed. / |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Zusammenfassung: | Now in its fourth edition, this book has become a classic because it covers not simply the staple topics of intermediate logic courses but also a large number of other topics. John Burgess has enhanced the book by adding problems at the end of each chapter and by rewriting chapters. |
| Beschreibung: | 1 online resource (xi, 356 pages) : illustrations |
| Bibliographie: | Includes bibliographical references (page 348) and index. |
| ISBN: | 0511078064 9780511078064 0511076495 9780511076497 9781139164931 1139164937 1107124999 9781107124998 1283329573 9781283329576 9786613329578 6613329576 0511202296 9780511202292 |
Internformat
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBA-ocm57417424 | ||
| 003 | OCoLC | ||
| 005 | 20241004212047.0 | ||
| 006 | m o d | ||
| 007 | cr cnu|||unuuu | ||
| 008 | 050113s2002 enka ob 001 0 eng d | ||
| 040 | |a N$T |b eng |e pn |c N$T |d OCLCQ |d YDXCP |d OCLCG |d OCLCQ |d E7B |d OCLCQ |d OCLCO |d OCLCQ |d EBLCP |d NRU |d CAMBR |d DEBSZ |d P4I |d OCLCQ |d NLGGC |d OCLCQ |d OCLCF |d OCLCQ |d PIFBR |d OCLCQ |d JBG |d HEBIS |d OCLCO |d WY@ |d LUE |d UAB |d STF |d OCLCQ |d VTS |d AGLDB |d INT |d TOF |d OCLCQ |d AU@ |d OCLCQ |d G3B |d OCLCQ |d K6U |d VLY |d LUN |d AUD |d LVT |d OCLCQ |d QGK |d UPM |d MHW |d OCLCO |d UKBTH |d UKAHL |d OCLCO |d OCLCQ |d OCLCO |d OCLCL |d SFB | ||
| 019 | |a 171136670 |a 212816759 |a 817970136 |a 977239374 |a 1030078841 |a 1030140592 |a 1058255055 |a 1097122375 |a 1117489025 |a 1117812803 |a 1125756192 |a 1136175498 |a 1144233338 |a 1162491101 |a 1167296146 |a 1187193101 |a 1205538371 |a 1229803182 |a 1241817484 |a 1243380384 |a 1246229086 |a 1262568605 |a 1266775389 | ||
| 020 | |a 0511078064 |q (electronic bk.) | ||
| 020 | |a 9780511078064 |q (electronic bk.) | ||
| 020 | |a 0511076495 |q (electronic bk. ; |q Adobe Reader) | ||
| 020 | |a 9780511076497 |q (electronic bk. ; |q Adobe Reader) | ||
| 020 | |a 9781139164931 |q (electronic bk.) | ||
| 020 | |a 1139164937 |q (electronic bk.) | ||
| 020 | |a 1107124999 | ||
| 020 | |a 9781107124998 | ||
| 020 | |a 1283329573 | ||
| 020 | |a 9781283329576 | ||
| 020 | |a 9786613329578 | ||
| 020 | |a 6613329576 | ||
| 020 | |a 0511202296 | ||
| 020 | |a 9780511202292 | ||
| 020 | |z 0521809754 | ||
| 020 | |z 9780521809757 | ||
| 020 | |z 0521007585 | ||
| 020 | |z 9780521007580 | ||
| 035 | |a (OCoLC)57417424 |z (OCoLC)171136670 |z (OCoLC)212816759 |z (OCoLC)817970136 |z (OCoLC)977239374 |z (OCoLC)1030078841 |z (OCoLC)1030140592 |z (OCoLC)1058255055 |z (OCoLC)1097122375 |z (OCoLC)1117489025 |z (OCoLC)1117812803 |z (OCoLC)1125756192 |z (OCoLC)1136175498 |z (OCoLC)1144233338 |z (OCoLC)1162491101 |z (OCoLC)1167296146 |z (OCoLC)1187193101 |z (OCoLC)1205538371 |z (OCoLC)1229803182 |z (OCoLC)1241817484 |z (OCoLC)1243380384 |z (OCoLC)1246229086 |z (OCoLC)1262568605 |z (OCoLC)1266775389 | ||
| 050 | 4 | |a QA9.59 |b .B66 2002eb | |
| 072 | 7 | |a MAT |x 016000 |2 bisacsh | |
| 072 | 7 | |a MAT |x 018000 |2 bisacsh | |
| 082 | 7 | |a 511.3 |2 22 | |
| 084 | |a 31.10 |2 bcl | ||
| 084 | |a 54.10 |2 bcl | ||
| 049 | |a MAIN | ||
| 100 | 1 | |a Boolos, George. |0 http://id.loc.gov/authorities/names/n88137851 | |
| 245 | 1 | 0 | |a Computability and logic. |
| 250 | |a 4th ed. / |b George S. Boolos, John P. Burgess, Richard C. Jeffrey. | ||
| 260 | |a Cambridge ; |a New York : |b Cambridge University Press, |c 2002. | ||
| 300 | |a 1 online resource (xi, 356 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 504 | |a Includes bibliographical references (page 348) and index. | ||
| 588 | 0 | |a Print version record. | |
| 505 | 0 | |a Cover; Half-title; Title; Copyright; Dedication; Contents; Preface; Computability Theory; 1 Enumerability; 2 Diagonalization; 3 Turing Computability; 4 Uncomputability; 5 Abacus Computability; 6 Recursive Functions; 7 Recursive Sets and Relations; 8 Equivalent Definitions of Computability; Basic Metalogic; 9 A Précis of First-Order Logic: Syntax; 10 A Précis of First-Order Logic: Semantics; 11 The Undecidability of First-Order Logic; 12 Models; 13 The Existence of Models; 14 Proofs and Completeness; 15 Arithmetization; 16 Representability of Recursive Functions. | |
| 520 | |a Now in its fourth edition, this book has become a classic because it covers not simply the staple topics of intermediate logic courses but also a large number of other topics. John Burgess has enhanced the book by adding problems at the end of each chapter and by rewriting chapters. | ||
| 546 | |a English. | ||
| 650 | 0 | |a Computable functions. |0 http://id.loc.gov/authorities/subjects/sh85029469 | |
| 650 | 0 | |a Recursive functions. |0 http://id.loc.gov/authorities/subjects/sh85112014 | |
| 650 | 0 | |a Logic, Symbolic and mathematical. |0 http://id.loc.gov/authorities/subjects/sh85078115 | |
| 650 | 6 | |a Fonctions calculables. | |
| 650 | 6 | |a Fonctions récursives. | |
| 650 | 6 | |a Logique symbolique et mathématique. | |
| 650 | 7 | |a MATHEMATICS |x Infinity. |2 bisacsh | |
| 650 | 7 | |a MATHEMATICS |x Logic. |2 bisacsh | |
| 650 | 7 | |a Computable functions |2 fast | |
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast | |
| 650 | 7 | |a Recursive functions |2 fast | |
| 650 | 7 | |a Logik |2 gnd |0 http://d-nb.info/gnd/4036202-4 | |
| 650 | 7 | |a Berechenbarkeit |2 gnd |0 http://d-nb.info/gnd/4138368-0 | |
| 650 | 7 | |a Mathematische Logik |2 gnd |0 http://d-nb.info/gnd/4037951-6 | |
| 650 | 1 | 7 | |a Logica. |2 gtt |
| 650 | 1 | 7 | |a Berekenbaarheid. |2 gtt |
| 655 | 0 | |a Electronic books. | |
| 655 | 4 | |a Electronic books. | |
| 700 | 1 | |a Burgess, John P., |d 1948- |1 https://id.oclc.org/worldcat/entity/E39PBJvHh7CbKpWMmDmWWMctrq |0 http://id.loc.gov/authorities/names/n2001013661 | |
| 700 | 1 | |a Jeffrey, Richard C. |0 http://id.loc.gov/authorities/names/n82093546 | |
| 758 | |i has work: |a Computability and logic (Text) |1 https://id.oclc.org/worldcat/entity/E39PCGGTkBXmHwmqmB7Bqpbxfy |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 776 | 0 | 8 | |i Print version: |a Boolos, George. |t Computability and logic. |b 4th ed. |d Cambridge ; New York : Cambridge University Press, 2002 |z 0521809754 |z 0521007585 |w (DLC) 2001043302 |w (OCoLC)47755792 |
| 856 | 4 | 0 | |l FWS01 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=125077 |3 Volltext |
| 938 | |a Askews and Holts Library Services |b ASKH |n AH22949637 | ||
| 938 | |a EBL - Ebook Library |b EBLB |n EBL221075 | ||
| 938 | |a ebrary |b EBRY |n ebr10513151 | ||
| 938 | |a EBSCOhost |b EBSC |n 125077 | ||
| 938 | |a YBP Library Services |b YANK |n 2301552 | ||
| 938 | |a YBP Library Services |b YANK |n 2618367 | ||
| 938 | |a YBP Library Services |b YANK |n 7272911 | ||
| 938 | |a YBP Library Services |b YANK |n 9248579 | ||
| 994 | |a 92 |b GEBAY | ||
| 912 | |a ZDB-4-EBA | ||
| 049 | |a DE-863 | ||
Datensatz im Suchindex
| DE-BY-FWS_katkey | ZDB-4-EBA-ocm57417424 |
|---|---|
| _version_ | 1816881623904288768 |
| adam_text | |
| any_adam_object | |
| author | Boolos, George |
| author2 | Burgess, John P., 1948- Jeffrey, Richard C. |
| author2_role | |
| author2_variant | j p b jp jpb r c j rc rcj |
| author_GND | http://id.loc.gov/authorities/names/n88137851 http://id.loc.gov/authorities/names/n2001013661 http://id.loc.gov/authorities/names/n82093546 |
| author_facet | Boolos, George Burgess, John P., 1948- Jeffrey, Richard C. |
| author_role | |
| author_sort | Boolos, George |
| author_variant | g b gb |
| building | Verbundindex |
| bvnumber | localFWS |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9.59 .B66 2002eb |
| callnumber-search | QA9.59 .B66 2002eb |
| callnumber-sort | QA 19.59 B66 42002EB |
| callnumber-subject | QA - Mathematics |
| collection | ZDB-4-EBA |
| contents | Cover; Half-title; Title; Copyright; Dedication; Contents; Preface; Computability Theory; 1 Enumerability; 2 Diagonalization; 3 Turing Computability; 4 Uncomputability; 5 Abacus Computability; 6 Recursive Functions; 7 Recursive Sets and Relations; 8 Equivalent Definitions of Computability; Basic Metalogic; 9 A Précis of First-Order Logic: Syntax; 10 A Précis of First-Order Logic: Semantics; 11 The Undecidability of First-Order Logic; 12 Models; 13 The Existence of Models; 14 Proofs and Completeness; 15 Arithmetization; 16 Representability of Recursive Functions. |
| ctrlnum | (OCoLC)57417424 |
| 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 |
| edition | 4th ed. / |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>05809cam a2200973 a 4500</leader><controlfield tag="001">ZDB-4-EBA-ocm57417424 </controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20241004212047.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cnu|||unuuu</controlfield><controlfield tag="008">050113s2002 enka ob 001 0 eng d</controlfield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">N$T</subfield><subfield code="b">eng</subfield><subfield code="e">pn</subfield><subfield code="c">N$T</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">YDXCP</subfield><subfield code="d">OCLCG</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">E7B</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">EBLCP</subfield><subfield code="d">NRU</subfield><subfield code="d">CAMBR</subfield><subfield code="d">DEBSZ</subfield><subfield code="d">P4I</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">NLGGC</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCF</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">PIFBR</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">JBG</subfield><subfield code="d">HEBIS</subfield><subfield code="d">OCLCO</subfield><subfield code="d">WY@</subfield><subfield code="d">LUE</subfield><subfield code="d">UAB</subfield><subfield code="d">STF</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">VTS</subfield><subfield code="d">AGLDB</subfield><subfield code="d">INT</subfield><subfield code="d">TOF</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">AU@</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">G3B</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">K6U</subfield><subfield code="d">VLY</subfield><subfield code="d">LUN</subfield><subfield code="d">AUD</subfield><subfield code="d">LVT</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">QGK</subfield><subfield code="d">UPM</subfield><subfield code="d">MHW</subfield><subfield code="d">OCLCO</subfield><subfield code="d">UKBTH</subfield><subfield code="d">UKAHL</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCL</subfield><subfield code="d">SFB</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">171136670</subfield><subfield code="a">212816759</subfield><subfield code="a">817970136</subfield><subfield code="a">977239374</subfield><subfield code="a">1030078841</subfield><subfield code="a">1030140592</subfield><subfield code="a">1058255055</subfield><subfield code="a">1097122375</subfield><subfield code="a">1117489025</subfield><subfield code="a">1117812803</subfield><subfield code="a">1125756192</subfield><subfield code="a">1136175498</subfield><subfield code="a">1144233338</subfield><subfield code="a">1162491101</subfield><subfield code="a">1167296146</subfield><subfield code="a">1187193101</subfield><subfield code="a">1205538371</subfield><subfield code="a">1229803182</subfield><subfield code="a">1241817484</subfield><subfield code="a">1243380384</subfield><subfield code="a">1246229086</subfield><subfield code="a">1262568605</subfield><subfield code="a">1266775389</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0511078064</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511078064</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0511076495</subfield><subfield code="q">(electronic bk. ;</subfield><subfield code="q">Adobe Reader)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511076497</subfield><subfield code="q">(electronic bk. ;</subfield><subfield code="q">Adobe Reader)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781139164931</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1139164937</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1107124999</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781107124998</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1283329573</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781283329576</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9786613329578</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">6613329576</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0511202296</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511202292</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">0521809754</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9780521809757</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">0521007585</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9780521007580</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)57417424</subfield><subfield code="z">(OCoLC)171136670</subfield><subfield code="z">(OCoLC)212816759</subfield><subfield code="z">(OCoLC)817970136</subfield><subfield code="z">(OCoLC)977239374</subfield><subfield code="z">(OCoLC)1030078841</subfield><subfield code="z">(OCoLC)1030140592</subfield><subfield code="z">(OCoLC)1058255055</subfield><subfield code="z">(OCoLC)1097122375</subfield><subfield code="z">(OCoLC)1117489025</subfield><subfield code="z">(OCoLC)1117812803</subfield><subfield code="z">(OCoLC)1125756192</subfield><subfield code="z">(OCoLC)1136175498</subfield><subfield code="z">(OCoLC)1144233338</subfield><subfield code="z">(OCoLC)1162491101</subfield><subfield code="z">(OCoLC)1167296146</subfield><subfield code="z">(OCoLC)1187193101</subfield><subfield code="z">(OCoLC)1205538371</subfield><subfield code="z">(OCoLC)1229803182</subfield><subfield code="z">(OCoLC)1241817484</subfield><subfield code="z">(OCoLC)1243380384</subfield><subfield code="z">(OCoLC)1246229086</subfield><subfield code="z">(OCoLC)1262568605</subfield><subfield code="z">(OCoLC)1266775389</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA9.59</subfield><subfield code="b">.B66 2002eb</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">MAT</subfield><subfield code="x">016000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">MAT</subfield><subfield code="x">018000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">31.10</subfield><subfield code="2">bcl</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">54.10</subfield><subfield code="2">bcl</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Boolos, George.</subfield><subfield code="0">http://id.loc.gov/authorities/names/n88137851</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Computability and logic.</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">4th ed. /</subfield><subfield code="b">George S. Boolos, John P. Burgess, Richard C. Jeffrey.</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">Cambridge ;</subfield><subfield code="a">New York :</subfield><subfield code="b">Cambridge University Press,</subfield><subfield code="c">2002.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (xi, 356 pages) :</subfield><subfield code="b">illustrations</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (page 348) and index.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Print version record.</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="a">Cover; Half-title; Title; Copyright; Dedication; Contents; Preface; Computability Theory; 1 Enumerability; 2 Diagonalization; 3 Turing Computability; 4 Uncomputability; 5 Abacus Computability; 6 Recursive Functions; 7 Recursive Sets and Relations; 8 Equivalent Definitions of Computability; Basic Metalogic; 9 A Précis of First-Order Logic: Syntax; 10 A Précis of First-Order Logic: Semantics; 11 The Undecidability of First-Order Logic; 12 Models; 13 The Existence of Models; 14 Proofs and Completeness; 15 Arithmetization; 16 Representability of Recursive Functions.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Now in its fourth edition, this book has become a classic because it covers not simply the staple topics of intermediate logic courses but also a large number of other topics. John Burgess has enhanced the book by adding problems at the end of each chapter and by rewriting chapters.</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">English.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computable functions.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85029469</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Recursive functions.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85112014</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Logic, Symbolic and mathematical.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85078115</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Fonctions calculables.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Fonctions récursives.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Logique symbolique et mathématique.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS</subfield><subfield code="x">Infinity.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS</subfield><subfield code="x">Logic.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computable functions</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logic, Symbolic and mathematical</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Recursive functions</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logik</subfield><subfield code="2">gnd</subfield><subfield code="0">http://d-nb.info/gnd/4036202-4</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Berechenbarkeit</subfield><subfield code="2">gnd</subfield><subfield code="0">http://d-nb.info/gnd/4138368-0</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="2">gnd</subfield><subfield code="0">http://d-nb.info/gnd/4037951-6</subfield></datafield><datafield tag="650" ind1="1" ind2="7"><subfield code="a">Logica.</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1="1" ind2="7"><subfield code="a">Berekenbaarheid.</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="655" ind1=" " ind2="0"><subfield code="a">Electronic books.</subfield></datafield><datafield tag="655" ind1=" " ind2="4"><subfield code="a">Electronic books.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Burgess, John P.,</subfield><subfield code="d">1948-</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PBJvHh7CbKpWMmDmWWMctrq</subfield><subfield code="0">http://id.loc.gov/authorities/names/n2001013661</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Jeffrey, Richard C.</subfield><subfield code="0">http://id.loc.gov/authorities/names/n82093546</subfield></datafield><datafield tag="758" ind1=" " ind2=" "><subfield code="i">has work:</subfield><subfield code="a">Computability and logic (Text)</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCGGTkBXmHwmqmB7Bqpbxfy</subfield><subfield code="4">https://id.oclc.org/worldcat/ontology/hasWork</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="a">Boolos, George.</subfield><subfield code="t">Computability and logic.</subfield><subfield code="b">4th ed.</subfield><subfield code="d">Cambridge ; New York : Cambridge University Press, 2002</subfield><subfield code="z">0521809754</subfield><subfield code="z">0521007585</subfield><subfield code="w">(DLC) 2001043302</subfield><subfield code="w">(OCoLC)47755792</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="l">FWS01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=125077</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Askews and Holts Library Services</subfield><subfield code="b">ASKH</subfield><subfield code="n">AH22949637</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBL - Ebook Library</subfield><subfield code="b">EBLB</subfield><subfield code="n">EBL221075</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ebrary</subfield><subfield code="b">EBRY</subfield><subfield code="n">ebr10513151</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">125077</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">2301552</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">2618367</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">7272911</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">9248579</subfield></datafield><datafield tag="994" ind1=" " ind2=" "><subfield code="a">92</subfield><subfield code="b">GEBAY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-863</subfield></datafield></record></collection> |
| genre | Electronic books. |
| genre_facet | Electronic books. |
| id | ZDB-4-EBA-ocm57417424 |
| illustrated | Illustrated |
| indexdate | 2024-11-27T13:15:40Z |
| institution | BVB |
| isbn | 0511078064 9780511078064 0511076495 9780511076497 9781139164931 1139164937 1107124999 9781107124998 1283329573 9781283329576 9786613329578 6613329576 0511202296 9780511202292 |
| language | English |
| oclc_num | 57417424 |
| open_access_boolean | |
| owner | MAIN DE-863 DE-BY-FWS |
| owner_facet | MAIN DE-863 DE-BY-FWS |
| physical | 1 online resource (xi, 356 pages) : illustrations |
| psigel | ZDB-4-EBA |
| publishDate | 2002 |
| publishDateSearch | 2002 |
| publishDateSort | 2002 |
| publisher | Cambridge University Press, |
| record_format | marc |
| spelling | Boolos, George. http://id.loc.gov/authorities/names/n88137851 Computability and logic. 4th ed. / George S. Boolos, John P. Burgess, Richard C. Jeffrey. Cambridge ; New York : Cambridge University Press, 2002. 1 online resource (xi, 356 pages) : illustrations text txt rdacontent computer c rdamedia online resource cr rdacarrier Includes bibliographical references (page 348) and index. Print version record. Cover; Half-title; Title; Copyright; Dedication; Contents; Preface; Computability Theory; 1 Enumerability; 2 Diagonalization; 3 Turing Computability; 4 Uncomputability; 5 Abacus Computability; 6 Recursive Functions; 7 Recursive Sets and Relations; 8 Equivalent Definitions of Computability; Basic Metalogic; 9 A Précis of First-Order Logic: Syntax; 10 A Précis of First-Order Logic: Semantics; 11 The Undecidability of First-Order Logic; 12 Models; 13 The Existence of Models; 14 Proofs and Completeness; 15 Arithmetization; 16 Representability of Recursive Functions. Now in its fourth edition, this book has become a classic because it covers not simply the staple topics of intermediate logic courses but also a large number of other topics. John Burgess has enhanced the book by adding problems at the end of each chapter and by rewriting chapters. English. Computable functions. http://id.loc.gov/authorities/subjects/sh85029469 Recursive functions. http://id.loc.gov/authorities/subjects/sh85112014 Logic, Symbolic and mathematical. http://id.loc.gov/authorities/subjects/sh85078115 Fonctions calculables. Fonctions récursives. Logique symbolique et mathématique. MATHEMATICS Infinity. bisacsh MATHEMATICS Logic. bisacsh Computable functions fast Logic, Symbolic and mathematical fast Recursive functions fast Logik gnd http://d-nb.info/gnd/4036202-4 Berechenbarkeit gnd http://d-nb.info/gnd/4138368-0 Mathematische Logik gnd http://d-nb.info/gnd/4037951-6 Logica. gtt Berekenbaarheid. gtt Electronic books. Burgess, John P., 1948- https://id.oclc.org/worldcat/entity/E39PBJvHh7CbKpWMmDmWWMctrq http://id.loc.gov/authorities/names/n2001013661 Jeffrey, Richard C. http://id.loc.gov/authorities/names/n82093546 has work: Computability and logic (Text) https://id.oclc.org/worldcat/entity/E39PCGGTkBXmHwmqmB7Bqpbxfy https://id.oclc.org/worldcat/ontology/hasWork Print version: Boolos, George. Computability and logic. 4th ed. Cambridge ; New York : Cambridge University Press, 2002 0521809754 0521007585 (DLC) 2001043302 (OCoLC)47755792 FWS01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=125077 Volltext |
| spellingShingle | Boolos, George Computability and logic. Cover; Half-title; Title; Copyright; Dedication; Contents; Preface; Computability Theory; 1 Enumerability; 2 Diagonalization; 3 Turing Computability; 4 Uncomputability; 5 Abacus Computability; 6 Recursive Functions; 7 Recursive Sets and Relations; 8 Equivalent Definitions of Computability; Basic Metalogic; 9 A Précis of First-Order Logic: Syntax; 10 A Précis of First-Order Logic: Semantics; 11 The Undecidability of First-Order Logic; 12 Models; 13 The Existence of Models; 14 Proofs and Completeness; 15 Arithmetization; 16 Representability of Recursive Functions. Computable functions. http://id.loc.gov/authorities/subjects/sh85029469 Recursive functions. http://id.loc.gov/authorities/subjects/sh85112014 Logic, Symbolic and mathematical. http://id.loc.gov/authorities/subjects/sh85078115 Fonctions calculables. Fonctions récursives. Logique symbolique et mathématique. MATHEMATICS Infinity. bisacsh MATHEMATICS Logic. bisacsh Computable functions fast Logic, Symbolic and mathematical fast Recursive functions fast Logik gnd http://d-nb.info/gnd/4036202-4 Berechenbarkeit gnd http://d-nb.info/gnd/4138368-0 Mathematische Logik gnd http://d-nb.info/gnd/4037951-6 Logica. gtt Berekenbaarheid. gtt |
| subject_GND | http://id.loc.gov/authorities/subjects/sh85029469 http://id.loc.gov/authorities/subjects/sh85112014 http://id.loc.gov/authorities/subjects/sh85078115 http://d-nb.info/gnd/4036202-4 http://d-nb.info/gnd/4138368-0 http://d-nb.info/gnd/4037951-6 |
| title | Computability and logic. |
| title_auth | Computability and logic. |
| title_exact_search | Computability and logic. |
| title_full | Computability and logic. |
| title_fullStr | Computability and logic. |
| title_full_unstemmed | Computability and logic. |
| title_short | Computability and logic. |
| title_sort | computability and logic |
| topic | Computable functions. http://id.loc.gov/authorities/subjects/sh85029469 Recursive functions. http://id.loc.gov/authorities/subjects/sh85112014 Logic, Symbolic and mathematical. http://id.loc.gov/authorities/subjects/sh85078115 Fonctions calculables. Fonctions récursives. Logique symbolique et mathématique. MATHEMATICS Infinity. bisacsh MATHEMATICS Logic. bisacsh Computable functions fast Logic, Symbolic and mathematical fast Recursive functions fast Logik gnd http://d-nb.info/gnd/4036202-4 Berechenbarkeit gnd http://d-nb.info/gnd/4138368-0 Mathematische Logik gnd http://d-nb.info/gnd/4037951-6 Logica. gtt Berekenbaarheid. gtt |
| topic_facet | Computable functions. Recursive functions. Logic, Symbolic and mathematical. Fonctions calculables. Fonctions récursives. Logique symbolique et mathématique. MATHEMATICS Infinity. MATHEMATICS Logic. Computable functions Logic, Symbolic and mathematical Recursive functions Logik Berechenbarkeit Mathematische Logik Logica. Berekenbaarheid. Electronic books. |
| url | https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=125077 |
| work_keys_str_mv | AT boolosgeorge computabilityandlogic AT burgessjohnp computabilityandlogic AT jeffreyrichardc computabilityandlogic |