A lattice of interpretability types of theories (1977)

by J Mycielski
Venue:JSL