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