TY - BOOK AU - Anunciacion, C. Bernardo TI - Logic: A Modular Approach SN - (pbk.) PY - 2009/// CY - Manila PB - GBP ER -