01697nam a2200397 a 4500001001000000003000700010005001700017006001900034007001500053008004100068010001700109020004300126020004000169020003500209035002200244035002300266035002500289035002300314035002100337040002700358050002100385082001400406111006400420245023700484260005000721300002200771504005100793533014700844650005800991655002901049700004401078700003401122710002801156856009601184999001901280EBC840681MiAaPQ20250821115925.0m     o  d |      cr cn|||||||||110624s2012    njua    sb    111 0 eng d  z  2011020566  z9789814360531 (hardcover : alk. paper)  z9814360538 (hardcover : alk. paper)  a9789814360548 (electronic bk.)  a(MiAaPQ)EBC840681  a(Au-PeEL)EBL840681  a(CaPaEBR)ebr10524627  a(CaONFJC)MIL343396  a(OCoLC)877767827  aMiAaPQcMiAaPQdMiAaPQ 4aQ334b.A853 201204a511.32232 aAsian Logic Conferencen(11th :d2009 :cSingapore)938780710aProceedings of the 11th Asian Logic Conferenceh[electronic resource] :bin honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, 22-27 June 2009 /cedited by Toshiyasu Arai ... [et al.].  aHackensack, N.J. :bWorld Scientific,cc2012.  ax, 181 p. :bill.  aIncludes bibliographical references and index.  aElectronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries. 0aLogic, Symbolic and mathematicalvCongresses.9387808 4aElectronic books.9351421 aChong, C.-T.q(Chi-Tat),d1949-93878091 aArai, T.q(Toshiyasu)93878102 aProQuest (Firm)938781140uhttps://ebookcentral.proquest.com/lib/kuct-ebooks/detail.action?docID=840681zClick to View  c280848d280848