Ebook: First-Order Logic and Automated Theorem Proving
Author: Melvin Fitting
- Genre: Mathematics // Logic
- Series: Graduate Texts in Computer Science
- Year: 1996
- Publisher: Springer
- Edition: 2nd
- Language: English
- djvu
Download the book First-Order Logic and Automated Theorem Proving for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)