TY - BOOK AU - Hsu John Y TI - Computer Logic SN - 978-81-8489-812-5 PY - 2011/// PB - Springer International Ed KW - computer Logic KW - Computer Science N1 - YES ER -