Handbook of Logic and Proof Techniques for Computer Science, (Paperback)

Handbook of Logic and Proof Techniques for Computer Science, (Paperback) Author: Birkhauser ISBN: 9781461266198 Format: Paperback Publication Date: 2012-10-23 Page Count: 245You may also like Textbooks in Mathematics Differential Equations: Theory, Technique, and Practice, (Hardcover).