Applied symbolic logic
Lynch, Edward P.
New York Chichester Wiley
1980
'A Wiley - Interscience publication'
Includes index
Logic, Symbolic and mathematical.
Engineering mathematics.