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
1-2 of 2 Editions
Proof and Disproof in Formal LogicAn Introduction for Programmers (Oxford Texts in Logic)
Language: eng
Pages: 264
Published In: September 2, 2005
Publisher: Oxford University Press, USA
Proof and Disproof in Formal LogicAn Introduction for Programmers (Oxford Texts in Logic)
Language: eng
Pages: 264
Published In: September 2, 2005
Publisher: Oxford University Press, USA