@book{76610,
	author = {K, Shutte},
	title = {Proof Theory},
	publisher = {Springer-Verlag},
	year = {1977},
	address = {New York}
}