Logic for applications January 1997 Computer science -- Mathematics; Logic, Symbolic and mathematical ISBN 0387948937 View on Amazon Lists featuring this book (1)
