@book{74924,
	author = {Aczel, Peter},
	title = {Proof theory :},
	publisher = {Cambridge University Press,},
	year = {2008},
	address = {Cambridge :},
	note = {First published 1992}
}