de Rijke. Unary interpretability logic. The Notre Dame (1992)

by M
Venue:Journal of Formal Logic