TY - BOOK AU - 49 TI - Basic Applied Logic ER -