Logic for Computer Science : Foundations of Automatic Theorem Proving, Second Edition Paperback / softback
by Jean Gallier
Part of the Dover Books on Computer Science series
Paperback / softback
- Information
Information
-
Available to Order - This title is available to order, with delivery expected within 2 weeks
- Format:Paperback / softback
- Pages:544 pages
- Publisher:Dover Publications Inc.
- Publication Date:26/06/2015
- Category:
- ISBN:9780486780825
Information
-
Available to Order - This title is available to order, with delivery expected within 2 weeks
- Format:Paperback / softback
- Pages:544 pages
- Publisher:Dover Publications Inc.
- Publication Date:26/06/2015
- Category:
- ISBN:9780486780825