@book{886,
	author = {Cupillari, Antonella.},
	title = {The nuts and bolts of proofs :},
	publisher = {Elsevier Academic Press,},
	year = {c2013.},
	address = {Amsterdam ;},
	edition = {4th ed.}
}