|
|
|
|
LEADER |
00000cam a2200000Mu 4500 |
001 |
EBOOKCENTRAL_ocn866440808 |
003 |
OCoLC |
005 |
20240329122006.0 |
006 |
m o d |
007 |
cr |n||||||||| |
008 |
131221s2013 enk ob 000 0 eng d |
040 |
|
|
|a EBLCP
|b eng
|e pn
|c EBLCP
|d OCLCO
|d CDX
|d DEBSZ
|d OCLCO
|d COO
|d OCLCQ
|d OCLCF
|d CNSPO
|d YDXCP
|d OCLCQ
|d K6U
|d VLY
|d LUN
|d OCLCQ
|d OCLCO
|d OCLCQ
|d OCLCO
|d OCLCL
|
019 |
|
|
|a 872699942
|a 1162013174
|a 1167256442
|
020 |
|
|
|a 9781107496347
|
020 |
|
|
|a 1107496349
|
020 |
|
|
|a 9781107014510
|
020 |
|
|
|a 1107014514
|
020 |
|
|
|a 9781107503496
|q (e-book)
|
020 |
|
|
|a 1107503493
|q (e-book)
|
020 |
|
|
|a 1107516471
|q (electronic bk.)
|
020 |
|
|
|a 9781107516472
|q (electronic bk.)
|
020 |
|
|
|a 9781107506152
|
020 |
|
|
|a 1107506158
|
020 |
|
|
|a 1139892037
|
020 |
|
|
|a 9781139892032
|
020 |
|
|
|a 1139028596
|
020 |
|
|
|a 9781139028592
|
020 |
|
|
|a 1107513766
|
020 |
|
|
|a 9781107513761
|
029 |
1 |
|
|a AU@
|b 000055939955
|
029 |
1 |
|
|a CHNEW
|b 000899357
|
029 |
1 |
|
|a DEBSZ
|b 399567607
|
029 |
1 |
|
|a DEBSZ
|b 445986689
|
035 |
|
|
|a (OCoLC)866440808
|z (OCoLC)872699942
|z (OCoLC)1162013174
|z (OCoLC)1167256442
|
050 |
|
4 |
|a QA248
|
082 |
0 |
4 |
|a 511.3
|b 23
|
049 |
|
|
|a UAMI
|
100 |
1 |
|
|a Greenberg, Noam.
|
245 |
1 |
0 |
|a Effective Mathematics of the Uncountable.
|
260 |
|
|
|a Cambridge :
|b Cambridge University Press,
|c 2013.
|
300 |
|
|
|a 1 online resource (207 pages)
|
336 |
|
|
|a text
|b txt
|2 rdacontent
|
337 |
|
|
|a computer
|b c
|2 rdamedia
|
338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
490 |
1 |
|
|a Lecture Notes in Logic
|
588 |
0 |
|
|a Print version record.
|
505 |
0 |
|
|a Cover; Half-Title; Series-Page; Title; Copyright; Contents; Preface; Introduction; Some results on mathbb R-computable structures; Infinite time Turing machines and an application to the hierarchy of equivalence relations on the reals; Computable structure theory using admissible recursion theory on omega subscript 1 using admissibility; Local computability and uncountable structures; Borel structures: a brief survey; E-recursive intuitions; Reverse mathematics, countable and uncountable: a computational approach; Effective model theory: an approach via sigma-definability.
|
520 |
|
|
|a A comprehensive introduction to eight major approaches to computation on uncountable mathematical domains.
|
504 |
|
|
|a Includes bibliographical references.
|
546 |
|
|
|a English.
|
590 |
|
|
|a ProQuest Ebook Central
|b Ebook Central Academic Complete
|
650 |
|
0 |
|a Infinite.
|
650 |
|
6 |
|a Infini.
|
650 |
|
7 |
|a infinity.
|2 aat
|
650 |
|
7 |
|a Infinite
|2 fast
|
700 |
1 |
|
|a Hirschfeldt, Denis.
|
700 |
1 |
|
|a Hamkins, Joel David.
|
700 |
1 |
|
|a Miller, Russell.
|
758 |
|
|
|i has work:
|a Effective mathematics of the uncountable (Text)
|1 https://id.oclc.org/worldcat/entity/E39PCGh8vpTRgj6KTjvDrCjcj3
|4 https://id.oclc.org/worldcat/ontology/hasWork
|
776 |
0 |
8 |
|i Print version:
|a Greenberg, Noam.
|t Effective Mathematics of the Uncountable.
|d Cambridge : Cambridge University Press, ©2013
|z 9781107014510
|
830 |
|
0 |
|a Lecture notes in logic.
|
856 |
4 |
0 |
|u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=1543609
|z Texto completo
|
938 |
|
|
|a Coutts Information Services
|b COUT
|n 27068173
|
938 |
|
|
|a ProQuest Ebook Central
|b EBLB
|n EBL1543609
|
938 |
|
|
|a YBP Library Services
|b YANK
|n 11391954
|
938 |
|
|
|a YBP Library Services
|b YANK
|n 11408999
|
938 |
|
|
|a YBP Library Services
|b YANK
|n 11425993
|
938 |
|
|
|a YBP Library Services
|b YANK
|n 11440512
|
938 |
|
|
|a YBP Library Services
|b YANK
|n 11719795
|
994 |
|
|
|a 92
|b IZTAP
|