An edition of Proof and Disproof in Formal Logic (2005)
Proof and Disproof in Formal Logic
An Introduction for Programmers (Oxford Texts in Logic)
By Richard Bornat
0 (0 Ratings)
0 Want to read0 Currently reading0 Have read
0 Want to read0 Currently reading0 Have read
Publish Date
September 2, 2005
Publisher
Oxford University Press, USA
Language
eng
Pages
264
Description: