On Bounded ∑ 1 1 Polynomial Induction

1990 ◽  
pp. 259-280 ◽  
Author(s):  
Jan Krajíček ◽  
Gaisi Takeuti
Sign in / Sign up

Export Citation Format

Share Document