@book{144703,
	author = {Velleman, Daniel J.},
	title = {How to prove it},
	publisher = {Cambridge University},
	year = {1994.},
	address = {Cambridge [England]}
}