Asymmetric interpretation for bounded theories (0)

by R L
Venue:Mathematical Logic Quarterly