Proof and disproof in formal logic : an introduction for programmers /

Bibliographic Details

Main Author:	Bornat, Richard, 1944-
Format:	Book
Language:	English
Published:	Oxford ; New York : Oxford University Press, 2005.
Series:	Oxford texts in logic ; 2.
Subjects:	Evidence. Logic, Modern.