@book{716,
	author = {Cupillari, Antonella},
	title = {The nuts and bolts of proofs},
	publisher = {Elsevier},
	year = {2005},
	address = {London},
	edition = {3rd ed.}
}