Cargando…
Proceedings of the 11th Asian Logic Conference : in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, 22-27 June 2009 /
The Asian Logic Conference is part of the series of logic conferences inaugurated in Singapore in 1981. It is normally held every three years and rotates among countries in the Asia-Pacific region. The 11th Asian Logic Conference was held at the National University of Singapore, in honor of Professo...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | , |
| Formato: | Electrónico Congresos, conferencias eBook |
| Idioma: | Inglés |
| Publicado: |
Singapore ; Hackensack, NJ :
World Scientific,
©2012.
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | EBSCO_ocn776204579 | ||
| 003 | OCoLC | ||
| 005 | 20231017213018.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 120213s2012 si a ob 111 0 eng d | ||
| 040 | |a N$T |b eng |e pn |c N$T |d YDXCP |d E7B |d I9W |d OCLCQ |d OCLCO |d DEBSZ |d OCLCQ |d OCLCO |d EBLCP |d OCLCO |d OCLCQ |d OCLCO |d OCLCF |d OCLCO |d OCLCQ |d OCLCO |d AGLDB |d ZCU |d MERUC |d OCLCQ |d U3W |d OCLCA |d COCUF |d OCLCQ |d VTS |d ICG |d INT |d VT2 |d AU@ |d OCLCQ |d WYU |d OCLCQ |d STF |d DKC |d OCLCQ |d M8D |d OCL |d OCLCQ |d LEAUB |d AJS |d OCLCQ |d OCLCO |d OCL |d OCLCO |d VLB |d OCLCQ |d OCLCO | ||
| 066 | |c (S | ||
| 019 | |a 877767827 |a 1055402213 |a 1058136048 |a 1065697150 |a 1081292309 |a 1086506899 |a 1228538744 |a 1240530717 |a 1272921448 | ||
| 020 | |a 9789814360548 |q (electronic bk.) | ||
| 020 | |a 9814360546 |q (electronic bk.) | ||
| 020 | |z 9789814360531 | ||
| 020 | |z 9814360538 | ||
| 024 | 8 | |a 99946428956 | |
| 029 | 1 | |a DEBBG |b BV043145263 | |
| 029 | 1 | |a DEBBG |b BV044161614 | |
| 029 | 1 | |a DEBSZ |b 37274513X | |
| 029 | 1 | |a DEBSZ |b 405243588 | |
| 029 | 1 | |a DEBSZ |b 42145900X | |
| 029 | 1 | |a DEBSZ |b 454996810 | |
| 029 | 1 | |a NZ1 |b 15908758 | |
| 029 | 1 | |a AU@ |b 000074585375 | |
| 035 | |a (OCoLC)776204579 |z (OCoLC)877767827 |z (OCoLC)1055402213 |z (OCoLC)1058136048 |z (OCoLC)1065697150 |z (OCoLC)1081292309 |z (OCoLC)1086506899 |z (OCoLC)1228538744 |z (OCoLC)1240530717 |z (OCoLC)1272921448 | ||
| 050 | 4 | |a Q334 |b .A853 2009eb | |
| 072 | 7 | |a MAT |x 016000 |2 bisacsh | |
| 072 | 7 | |a MAT |x 018000 |2 bisacsh | |
| 082 | 0 | 4 | |a 511.3 |2 23 |
| 049 | |a UAMI | ||
| 111 | 2 | |a Asian Logic Conference |n (11th : |d 2009 : |c Singapore) | |
| 245 | 1 | 0 | |a Proceedings of the 11th Asian Logic Conference : |b in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, 22-27 June 2009 / |c edited by Toshiyasu Arai [and others]. |
| 260 | |a Singapore ; |a Hackensack, NJ : |b World Scientific, |c ©2012. | ||
| 300 | |a 1 online resource (x, 181 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 and index. | ||
| 588 | 0 | |a Print version record. | |
| 505 | 0 | |a Provably [symbol] and weakly descending chains / T. Arai -- Amalgamation, absoluteness, and categoricity / J. Baldwin -- K-trivials are never continuously random / G. Barmpalias [and others] -- Limitwise monotonic functions and their applications / R. Downey, A. Kach and D. Turetsky -- A dichotomy for the Mackey Borel structure / I. Farah -- On automatic families / S. Jain [and others] -- Cappable CEA sets and Ramsey's theorem / A. Kach, M. Lerman and R. Solomon -- Computable Dowd-type generic oracles / M. Kumabe and T. Suzuki -- Models of long sentences I / G. Sacks -- A universally free modal logic / S. Yang. | |
| 520 | |a The Asian Logic Conference is part of the series of logic conferences inaugurated in Singapore in 1981. It is normally held every three years and rotates among countries in the Asia-Pacific region. The 11th Asian Logic Conference was held at the National University of Singapore, in honor of Professor Chong Chitat on the occasion of his 60th birthday. The conference is on the broad area of logic, including theoretical computer science. It is considered a major event in this field and is regularly sponsored by the Association of Symbolic Logic. This volume contains papers from this meeting. | ||
| 590 | |a eBooks on EBSCOhost |b EBSCO eBook Subscription Academic Collection - Worldwide | ||
| 650 | 0 | |a Logic, Symbolic and mathematical |v Congresses. | |
| 650 | 4 | |a Computer science |x Mathematics |v Congresses. | |
| 650 | 4 | |a Geometry |x Data processing |v Congresses. | |
| 650 | 4 | |a Logic, Symbolic and mathematical |v Congresses. | |
| 650 | 4 | |a Mathematics. | |
| 650 | 6 | |a Logique symbolique et mathématique |v Congrès. | |
| 650 | 7 | |a MATHEMATICS |x Infinity. |2 bisacsh | |
| 650 | 7 | |a MATHEMATICS |x Logic. |2 bisacsh | |
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast | |
| 655 | 7 | |a Festschriften |2 fast | |
| 655 | 7 | |a Conference papers and proceedings |2 fast | |
| 655 | 7 | |a Festschriften. |2 lcgft | |
| 700 | 1 | |a Chong, C.-T. |q (Chi-Tat), |d 1949- | |
| 700 | 1 | |a Arai, Toshiyasu. | |
| 776 | 0 | 8 | |i Print version: |a Asian Logic Conference (11th : 2009 : Singapore). |t Proceedings of the 11th Asian Logic Conference. |d Singapore ; Hackensack, NJ : World Scientific, ©2012 |z 9789814360531 |w (DLC) 2011020566 |w (OCoLC)724665099 |
| 856 | 4 | 0 | |u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=426416 |z Texto completo |
| 880 | 0 | |6 505-00/(S |a Machine generated contents note: Provably Δ02 and Weakly Descending Chains / T. Arai -- Amalgamation, Absoluteness, and Categoricity / J. Baldwin -- K-Trivials are Never Continuously Random / T. Slaman -- Limitwise Monotonic Functions and Their Applications / D. Turetsky -- A Dichotomy for the Mackey Borel Structure / I. Farah -- On Automatic Families / F. Stephan -- Cappable CEA Sets and Ramsey's Theorem / R. Solomon -- Computable Dowd-Type Generic Oracles / T. Suzuki -- Models of Long Sentences I / G. Sacks -- A Universally Free Modal Logic / S. Yang. | |
| 938 | |a ProQuest Ebook Central |b EBLB |n EBL840681 | ||
| 938 | |a ebrary |b EBRY |n ebr10524627 | ||
| 938 | |a EBSCOhost |b EBSC |n 426416 | ||
| 938 | |a YBP Library Services |b YANK |n 7364447 | ||
| 994 | |a 92 |b IZTAP | ||