TY  - BOOK
AU  - Truemper, 1942- 
TI  - Effective logic computation 
SN  - 0471238864 
U1  - 003 TRU 1998 
PY  - 1998///
CY  - New York
PB  - John Wiley & Sons
KW  - Logic, Symbolic and mathematical
KW  - Operations research
KW  - System analysis
N1  - Includes bibliographical references and index
ER  -