@book{6893,
	author = {Editor Peter Aczel, Harold Simmons & Stanley Wainer},
	title = {Proof Theory},
	publisher = {Cambridge},
	year = {2008},
	note = {Includes References}
}