@book{25715,
	author = {Aczel, Peter },
	title = {Proof theory : a selection of papers from the leeds proof theory programme 1990},
	year = {2011},
	address = {Cambridge university press},
	url = {https://doi.org/10.1017/CBO9780511896262}
}