Propositional Provability and Models of Weak Arithmetic.

Jan Krajcek, Pavel Pudlk

Browse the full CSL paper archive.