TY  - BOOK
AU  - Chong,C.-T.
AU  - Arai,T.
ED  - Asian Logic Conference
ED  - ProQuest (Firm)
TI  - 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 
AV  - Q334 .A853 2012
U1  - 511.3 23
PY  - 2012///
CY  - Hackensack, N.J.
PB  - World Scientific
KW  - Logic, Symbolic and mathematical
KW  - Congresses
KW  - Electronic books
N1  - 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
UR  - https://ebookcentral.proquest.com/lib/kuct-ebooks/detail.action?docID=840681
ER  -