The formalization of interpretability (1991)

by A Visser
Venue:Studia Logica