TY - BOOK AU - 32 TI - LOGIC PROGRAMMING ER -