@book{3060,
	author = {^d20120112 12:10:41^oanne},
	title = {Velleman Daniel J. },
	edition = {_How To Prove It A Structured Approach / Daniel J. Velleman },
	note = {Includes index }
}