Preliminary notes on interpretability logic (1988)

by A Visser
Venue:Department of Philosophy, University of Utrecht