TY - BOOK AU - KLIR & YUAN TI - F4334 SETS AND F4334 LOGIC THEORY & APP PB - PHI ER -