TY - BOOK AU - IRVING M COPI TI - SYMBOLIC LOGIC SN - 8120309707 U1 - 160 (MCA) PB - PRENTICE-HALL KW - COMPUTER SCIENCE KW - LOGICAL DESIGN ER -