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...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: Asian Logic Conference Singapore
Otros Autores: Chong, C.-T. (Chi-Tat), 1949-, Arai, Toshiyasu
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 EBOOKCENTRAL_ocn776204579
003 OCoLC
005 20240329122006.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  |d OCLCL 
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 
590 |a ProQuest Ebook Central  |b Ebook Central Academic Complete 
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-  |1 https://id.oclc.org/worldcat/entity/E39PBJt8m4PHhJYfHR4DGBDpfq 
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://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=840681  |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