## Lifting Independence Results in Bounded Arithmetic (1999)

by
Mario Chiari
,
Jan Krajicek

Venue: | ARCHIVE FOR MATHEMATICAL LOGIC |

Citations: | 14 - 2 self |