![](/img/cover-not-exists.png)
Provability Logic || Explicit Fixed Points in Interpretability Logic
Dick de Jongh and Albert VisserVolume:
50
Language:
english
Journal:
Studia Logica: An International Journal for Symbolic Logic
DOI:
10.2307/20015553
Date:
March, 1991
File:
PDF, 1.00 MB
english, 1991