TY  - BOOK
AU  - Downey,R.G.
ED  - Asian Logic Conference
ED  - ProQuest (Firm)
TI  - Proceedings of the 12th Asian Logic Conference, Wellington, New Zealand, 15-20 December 2011
AV  - Q334 .A85 2011
PY  - 2013///
CY  - Singapore
PB  - World Scientific Pub. Co.
KW  - Logic, Symbolic and mathematical
KW  - Congresses
KW  - Electronic books
N1  - Includes bibliographical references; 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=1223952
ER  -