de Rijke. A note on the interpretability logic of finitely axiomatized theories (1991)

by M
Venue:Studia Logica