The logic of relative interpretability over Peano arithmetic (in Russian (1988)

by Shavrukov