Get 2 top 10 audiobooks free with a LoveReading exclusive

LoveReading has teamed up with Audiobooks.com to give you the chance to get 2 free audiobooks when you sign up. Try it for 30 days for free with no strings attached. You can cancel anytime, although we're sure you'll love it. Click the button to find out more:

Find out more

Logic for Computer Science Foundations of Automatic Theorem Proving, Second Edition

by Jean Gallier

Part of the Dover Books on Computer Science Series

Logic for Computer Science Foundations of Automatic Theorem Proving, Second Edition Synopsis

Logic for Computer Science Foundations of Automatic Theorem Proving, Second Edition by Jean Gallier

Book Information

ISBN: 9780486780825
Publication date: 18th June 2015
Author: Jean Gallier
Publisher: Dover Publications Inc.
Format: Paperback / softback
Pagination: 544 pages
Categories: Mathematical logic, Maths for computer scientists,

About Jean Gallier

More About Jean Gallier

Share this book