TY - BOOK AU - COPI, IRVING M TI - INTRODUCTION TO LOGIC CY - PHI, 2002. ER -