@book{8803,
	author = {Scarpellini, Bruno},
	title = {Proof theory and intuitionistic systems},
	publisher = {Springer-Verlag},
	year = {1971},
	series = {Lecture notes in Mathematics},
	address = {Berlin}
}