@book{529842,
	author = {Troestra A.S},
	title = {Basic proof theory/A.S.Troelstra[and]H.Schwich-tenberg},
	publisher = {C.U.P},
	year = {2000},
	address = {Cambridge},
	edition = {2nd}
}