@book{1696938,
	title = {Ways of Proof Theory},
	publisher = {De Gruyter},
	url = {https://www.degruyter.com/isbn/9783110324907}
}