Effective logic computation /
Truemper, K.,1942-
New York ; Chichester : Wiley,
c1998.
"A Wiley-Interscience publication."
Includes bibliographical references and indexes.
System analysis.
Operations research.
Logic, Symbolic and mathematical.