Interpretability logic (1988)

by A Visser
Venue:Department of Mathematics and Computer Science University of Amsterdam