TY - BOOK AU - Baum,Robert,1941- AU - Wieck,David T. TI - Logic SN - 0030463963 AV - BC108 .B29 1981 U1 - 160 22nd ed. PY - 1981/// CY - N.Y. PB - Holt, Rinehart and Winston KW - Logic N1 - Includes index ER -