Skip to content

Closure Properties of Weak Systems of Bounded Arithmetic.

Antonina Kolokolova

VenueBCSL
Year2005
ProceedingsCSL

Browse the full CSL paper archive.