Regular Cuts in Models of Bounded Arithmetic

Bulletin of the Section of Logic, Tom 42, Numer 1-2 (2013) s. 11-20
Morteza Moniri, S. Hosein Sajjadi

 

do góry