On Rules and Parameter Free Systems in Bounded Arithmetic.

Andrs Cordn-Franco, Alejandro Fernndez-Margarit, Francisco Flix Lara Martn

Browse the full CiE paper archive.