conservation results for fragments of bounded arithmetic, in Logic and Computation, proceedings of a Workshop held Carnegie-Mellon (1987)

by Axiomatizations
Venue:University