Ebook: Logic for Computer Science : Foundations of Automatic Theorem Proving
Author: Jean H. Gallier
- Series: Dover Books on Computer Science
- Year: 2015
- Publisher: Dover Publications
- City: Newburyport
- Edition: 2
- Language: English
- epub
Download the book Logic for Computer Science : Foundations of Automatic Theorem Proving for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)