TY - BOOK AU - BISWAS N. TI - LOGIC DESIGN THEORY PB - PHI ER -