Ebook: Truth, deduction, and computation: logic and semantics for computer science
Author: R. E. Davis
- Genre: Mathematics // Computational Mathematics
- Series: Advanced Book Program
- Year: 1989
- Publisher: W.H. Freeman & Company
- Language: English
- pdf
Davis R.E. Truth, deduction, and computation (Computer Science Press, 1989)(ISBN 0716782014)(files)
Download the book Truth, deduction, and computation: logic and semantics for computer science for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)