Provability logics for relative interpretability (0)

by D H J de Jongh, F Veltman
Venue:In