Go back

Logic For Computer Science Foundations Of Automatic Theorem Proving(2nd Edition)

Authors:

Jean H. Gallier

Free logic for computer science foundations of automatic theorem proving 2nd edition jean h. gallier 0486780821,
9 ratings
Cover Type:Paperback
Condition:New

In Stock

Include with your book

Free shipping: April 04, 2024
Access to 3 Million+ solutions Free
Ask 10 Questions from expert 200,000+ Expert answers
7 days-trial

Total Price:

$0

List Price: $29.85 Savings: $29.85(100%)

Book details

ISBN: 0486780821, 978-0486780825

Book publisher: Dover Publications