TY - BOOK AU - 47 TI - INTRODUCTION TO LOGIC ER -