On bounded # 1 polynomial induction (1989)

by J Kraj cek, G Takeuti
Venue:in Feasible Mathematics: A Mathematical Sciences Institute Workshop