Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition (Dover Books on Computer Science) - Gallier, Jean H., 2nd Edition, Paperback
Dover Publications
ISBN-13 9780486780825 | 978-0-486-78082-5
ISBN 0486780821 | 0-486-78082-1
Format
Paperback
Author(s)
Gallier, Jean H.
Pages: 528, Edition: First Edition, First, Paperback, Dover Publications
FindersCheapers strives to maintain the accuracy of product and pricing information displayed on our site, but we do not guarantee the accuracy of the information.
If there is a pricing, coupon, or other information discrepancy between FindersCheapers and a merchant's site then the information on the merchant's site will apply. FindersCheapers cannot be held liable for any actions
taken based on the information provided and FindersCheapers shall not be held responsible for any loss or damage resulting from business conducted with companies listed on FindersCheapers.
FindersCheapers receives compensation from all merchants whose products are displayed. Refer to our Conditions of Use and About Us pages for complete details. To report a pricing error,
click here.