01697nam a2200397 a 4500 EBC840681 MiAaPQ 20250821115925.0 m o d | cr cn||||||||| 110624s2012 njua sb 111 0 eng d 2011020566 9789814360531 (hardcover : alk. paper) 9814360538 (hardcover : alk. paper) 9789814360548 (electronic bk.) (MiAaPQ)EBC840681 (Au-PeEL)EBL840681 (CaPaEBR)ebr10524627 (CaONFJC)MIL343396 (OCoLC)877767827 MiAaPQ MiAaPQ MiAaPQ Q334 .A853 2012 511.3 23 Asian Logic Conference (11th : 2009 : Singapore) 387807 Proceedings of the 11th Asian Logic Conference [electronic resource] : in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, 22-27 June 2009 / edited by Toshiyasu Arai ... [et al.]. Hackensack, N.J. : World Scientific, c2012. x, 181 p. : ill. Includes bibliographical references and index. Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries. Logic, Symbolic and mathematical Congresses. 387808 Electronic books. 35142 Chong, C.-T. (Chi-Tat), 1949- 387809 Arai, T. (Toshiyasu) 387810 ProQuest (Firm) 387811 https://ebookcentral.proquest.com/lib/kuct-ebooks/detail.action?docID=840681 Click to View 280848 280848