@book{571454,
	author = {Cupillari, Antonella},
	title = {The nuts and bolts of proofs},
	publisher = {ELSEVIER},
	year = {2005},
	address = {NEW YORK},
	edition = {3RD}
}