@book{30112,
	author = {Bornat, Richard.},
	title = {Proof and disproof in formal logic :},
	publisher = {Oxford University Press,},
	year = {2005.},
	address = {New York :}
}