Lifting Independence Results in Bounded Arithmetic (1999)

Cached

Download Links

by Mario Chiari , Jan Krajicek
Venue:ARCHIVE FOR MATHEMATICAL LOGIC
Citations:14 - 2 self