Symbolic logic and mechanical theorem proving January 1973 Logic, Symbolic and mathematical. ISBN 0121703509 View on Amazon Lists featuring this book (1)
