@book{47820,
	author = {Troelstra, A S . and Schwichtenberg, H .},
	title = {Basic Proof Theory /},
	publisher = {Cambridge University Press ,},
	year = {1996.},
	address = {Cambridge :},
	edition = {1st ed /}
}