TY  - BOOK
AU  - Baum,Robert
TI  - Logic
SN  - 0155016172
AV  - BC108 .B29 1996
U1  - 160 20
PY  - 1996///
CY  - Fort Worth
PB  - Harcourt Brace College Publishers
KW  - Logic
N1  - Includes bibliographical references and index
ER  -