@book{28779,
	author = {Velleman. J. D.},
	title = {How to prove it/},
	publisher = {Cambridge university press},
	year = {1994},
	address = {Cambridge}
}