ISBN 0486780821 books & textbook

Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition (Dover Books on Computer Science)

Dover Publications /2015-06-18 Paperback / 528 Pages
isbn-10: 0486780821 / isbn-13: 9780486780825