|
|
|
|
LEADER |
00000cam a2200000 a 4500 |
001 |
EBSCO_ocn667025668 |
003 |
OCoLC |
005 |
20231017213018.0 |
006 |
m o d |
007 |
cr cn||||||||| |
008 |
100929s2007 enka ob 001 0 eng d |
040 |
|
|
|a IDEBK
|b eng
|e pn
|c IDEBK
|d E7B
|d IUP
|d OCLCQ
|d N$T
|d REDDC
|d OCLCQ
|d CAMBR
|d OCLCF
|d YDXCP
|d OCLCQ
|d YDX
|d OCLCO
|d OCLCQ
|d BUF
|d UAB
|d STF
|d OCLCQ
|d MM9
|d U3W
|d OCLCQ
|d K6U
|d OCLCO
|d INARC
|d LUN
|d VLY
|d UKAHL
|d AUD
|d AJS
|d LVT
|d OCLCQ
|d OCLCO
|d UPM
|d DKU
|d OCLCQ
|d UKBTH
|d OCLCO
|d DST
|d OCLCQ
|
019 |
|
|
|a 427396657
|a 648345825
|a 772525451
|a 817967209
|a 963328274
|a 1030121492
|a 1030140618
|a 1081060995
|a 1089410839
|a 1117488805
|a 1117876288
|a 1125933520
|a 1144256988
|a 1151155924
|a 1162226229
|a 1167212588
|a 1171436142
|a 1187195026
|a 1205227666
|a 1205405970
|a 1205469864
|a 1229537894
|a 1241924443
|a 1243380379
|a 1246232404
|a 1262566886
|a 1264790804
|a 1266783528
|a 1269063642
|a 1274015991
|a 1292400180
|a 1296539717
|a 1300679763
|a 1303358044
|a 1303520756
|
020 |
|
|
|a 9780511649448
|q (electronic bk.)
|
020 |
|
|
|a 0511649444
|q (electronic bk.)
|
020 |
|
|
|a 9780511804076
|q (electronic bk.)
|
020 |
|
|
|a 0511804075
|q (electronic bk.)
|
020 |
|
|
|a 9780511366055
|q (electronic bk.)
|
020 |
|
|
|a 0511366051
|q (electronic bk.)
|
020 |
|
|
|a 9786612389924
|q (electronic bk.)
|
020 |
|
|
|a 6612389923
|
020 |
|
|
|a 1107086507
|
020 |
|
|
|a 9781107086500
|
020 |
|
|
|a 1107183057
|
020 |
|
|
|a 9781107183056
|
020 |
|
|
|a 0511573979
|
020 |
|
|
|a 9780511573972
|
020 |
|
|
|a 051136668X
|q (electronic bk.)
|
020 |
|
|
|a 9780511366680
|
020 |
|
|
|z 9780521877527
|q (hbk.)
|
020 |
|
|
|z 0521877520
|q (hbk.)
|
020 |
|
|
|z 9780521701464
|q (pbk.)
|
020 |
|
|
|z 0521701465
|q (pbk.)
|
035 |
|
|
|a (OCoLC)667025668
|z (OCoLC)427396657
|z (OCoLC)648345825
|z (OCoLC)772525451
|z (OCoLC)817967209
|z (OCoLC)963328274
|z (OCoLC)1030121492
|z (OCoLC)1030140618
|z (OCoLC)1081060995
|z (OCoLC)1089410839
|z (OCoLC)1117488805
|z (OCoLC)1117876288
|z (OCoLC)1125933520
|z (OCoLC)1144256988
|z (OCoLC)1151155924
|z (OCoLC)1162226229
|z (OCoLC)1167212588
|z (OCoLC)1171436142
|z (OCoLC)1187195026
|z (OCoLC)1205227666
|z (OCoLC)1205405970
|z (OCoLC)1205469864
|z (OCoLC)1229537894
|z (OCoLC)1241924443
|z (OCoLC)1243380379
|z (OCoLC)1246232404
|z (OCoLC)1262566886
|z (OCoLC)1264790804
|z (OCoLC)1266783528
|z (OCoLC)1269063642
|z (OCoLC)1274015991
|z (OCoLC)1292400180
|z (OCoLC)1296539717
|z (OCoLC)1300679763
|z (OCoLC)1303358044
|z (OCoLC)1303520756
|
037 |
|
|
|a 238992
|b MIL
|
050 |
|
4 |
|a QA9.59
|b .B66 2007
|
072 |
|
7 |
|a COM
|x 037000
|2 bisacsh
|
082 |
0 |
4 |
|a 511.3/52
|2 22
|
084 |
|
|
|a SK 130
|2 rvk
|
049 |
|
|
|a UAMI
|
100 |
1 |
|
|a Boolos, George.
|
245 |
1 |
0 |
|a Computability and logic.
|
250 |
|
|
|a 5th ed. /
|b George S. Boolos, John P. Burgess, Richard C. Jeffrey.
|
260 |
|
|
|a Cambridge ;
|a New York :
|b Cambridge University Press,
|c 2007.
|
300 |
|
|
|a 1 online resource (xiii, 350 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 341) and index.
|
505 |
0 |
|
|a Enumerability -- Diagonalization -- Turing Computability -- Uncomputability -- Abacus Computability -- Recursive Functions -- Recursive Sets and Relations -- Equivalent Definitions of Computability -- Precis of First-Order Logic: Syntax -- Precis of First-Order Logic: Semantics -- Undecidability of First-Order Logic -- Models -- Existence of Models -- Proofs and Completeness -- Arithmetization -- Representability of Recursive Functions -- Indefinability, Undecidability, Incompleteness -- Unprovability of Consistency -- Normal Forms -- Craig Interpolation Theorem -- Monadic and Dyadic Logic -- Second-Order Logic -- Arithmetical Definability -- Decidability of Arithmetic without Multiplication -- Nonstandard Models -- Ramsey's Theorem -- Modal Logic and Provability.
|
520 |
|
|
|a This fifth edition of 'Computability and Logic' covers not just the staple topics of an intermediate logic course such as Godel's incompleteness theorems, but also optional topics that include Turing's theory of computability and Ramsey's theorem.
|
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 COMPUTERS
|x Machine Theory.
|2 bisacsh
|
650 |
|
7 |
|a Computable functions.
|2 fast
|0 (OCoLC)fst00871985
|
650 |
|
7 |
|a Logic, Symbolic and mathematical.
|2 fast
|0 (OCoLC)fst01002068
|
650 |
|
7 |
|a Recursive functions.
|2 fast
|0 (OCoLC)fst01091984
|
650 |
|
7 |
|a Berechenbarkeit
|2 gnd
|
650 |
|
7 |
|a Mathematische Logik
|2 gnd
|
650 |
|
7 |
|a Symbolisk logik.
|2 sao
|
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 5th ed.
|d Cambridge ; New York : Cambridge University Press, 2007
|z 9780521877527
|w (DLC) 2007014225
|w (OCoLC)122526900
|
856 |
4 |
0 |
|u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=304603
|z Texto completo
|
938 |
|
|
|a Askews and Holts Library Services
|b ASKH
|n AH37560536
|
938 |
|
|
|a ebrary
|b EBRY
|n ebr10213909
|
938 |
|
|
|a EBSCOhost
|b EBSC
|n 304603
|
938 |
|
|
|a ProQuest MyiLibrary Digital eBook Collection
|b IDEB
|n 238992
|
938 |
|
|
|a Internet Archive
|b INAR
|n computabilitylog0000bool
|
938 |
|
|
|a YBP Library Services
|b YANK
|n 2764979
|
938 |
|
|
|a YBP Library Services
|b YANK
|n 7365433
|
938 |
|
|
|a YBP Library Services
|b YANK
|n 9246830
|
938 |
|
|
|a YBP Library Services
|b YANK
|n 2812084
|
994 |
|
|
|a 92
|b IZTAP
|