TY - BOOK AU - Impact Learning Material Series TI - Logic And Logic Programming U1 - 621.395 CY - Bombay KW - IT & CS ER -