Your search returned 4 results.

Results
	1.		Proof and disproof in formal logic : an introduction for programmers Richard Bornat by Bornat, Richard Publication details: Oxford Oxford University Press 2005 Availability: Items available for loan: Anna Centenary Library (1)Call number: 160 BOR.
	2.		Proof and disproof in formal logic : an introduction for programmers Richard Bornat by Bornat, Richard Publication details: Oxford Oxford University Press 2005 Availability: Items available for loan: Anna Centenary Library (1)Call number: 160 BOR.
	3.		Proof and disproof in formal logic : an introduction for programmers Richard Bornat by Bornat, Richard Publication details: Oxford Oxford University Press 2005 Availability: No items available.
	4.		Proof and disproof in formal logic : an introduction for programmers Richard Bornat by Bornat, Richard Publication details: Oxford Oxford University Press 2005 Availability: No items available.

Refine your search