Unary interpretability logic. The Notre Dame (1992)

by M de Rijke
Venue:Journal of Formal Logic