Proof and Disproof in Formal Logic
Subtitle: An Introduction for Programmers (Oxford Texts in Logic)
Publisher: Oxford University Press, USA
Published: September 2, 2005
Language: eng
Number of pages: 264
ISBN-13: 9780198530275