Explicit xed points in interpretability logic (1991)

by D de Jongh, A Visser
Venue:Studia Logica