Ebook: Proof and Disproof in Formal Logic: An Introduction for Programmers
Author: Richard Bornat
- Genre: Education
- Series: Oxford Texts in Logic 2
- Year: 2005
- Publisher: Oxford University Press
- Edition: 1
- Language: English
- pdf
Download the book Proof and Disproof in Formal Logic: An Introduction for Programmers for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)