Cargando…
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.
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Otros Autores: | , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Cambridge ; New York :
Cambridge University Press,
2002.
|
| Edición: | 4th ed. / |
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | EBSCO_ocm57417424 | ||
| 003 | OCoLC | ||
| 005 | 20231017213018.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 | ||
| 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 | ||
| 029 | 1 | |a AU@ |b 000043833244 | |
| 029 | 1 | |a AU@ |b 000051357060 | |
| 029 | 1 | |a AU@ |b 000059645007 | |
| 029 | 1 | |a AU@ |b 000062545327 | |
| 029 | 1 | |a DEBBG |b BV043077444 | |
| 029 | 1 | |a DEBSZ |b 379291703 | |
| 029 | 1 | |a DEBSZ |b 422341959 | |
| 029 | 1 | |a DKDLA |b 820120-katalog:999917020405765 | |
| 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 | 0 | 4 | |a 511.3 |2 22 |
| 084 | |a 31.10 |2 bcl | ||
| 084 | |a 54.10 |2 bcl | ||
| 049 | |a UAMI | ||
| 100 | 1 | |a Boolos, George. | |
| 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. | ||
| 590 | |a eBooks on EBSCOhost |b EBSCO eBook Subscription Academic Collection - Worldwide | ||
| 650 | 0 | |a Computable functions. | |
| 650 | 0 | |a Recursive functions. | |
| 650 | 0 | |a Logic, Symbolic and mathematical. | |
| 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 | |
| 650 | 7 | |a Berechenbarkeit |2 gnd | |
| 650 | 7 | |a Mathematische Logik |2 gnd | |
| 650 | 1 | 7 | |a Logica. |2 gtt |
| 650 | 1 | 7 | |a Berekenbaarheid. |2 gtt |
| 700 | 1 | |a Burgess, John P., |d 1948- | |
| 700 | 1 | |a Jeffrey, Richard C. | |
| 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 | |u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=125077 |z Texto completo |
| 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 IZTAP | ||