TY  - BOOK
AU  - Truemper,K.
TI  - Effective logic computation
SN  - 0471238864 
AV  - T57.6 .T76 1998
U1  - 003 21
PY  - 1998///
CY  - New York
PB  - Wiley
KW  - System analysis
KW  - Operations research
KW  - Logic, Symbolic and mathematical
N1  - "A Wiley-Interscience publication."; Includes bibliographical references and indexes
UR  - http://www.loc.gov/catdir/toc/onix01/97013438.html
UR  - http://www.loc.gov/catdir/enhancements/fy0706/97013438-b.html
UR  - http://www.loc.gov/catdir/enhancements/fy0706/97013438-d.html
ER  -