A note on the normal form of closed formulas of interpretability logic
Petr Hájek, Vítězslav ŠvejdarVolume:
50
Language:
english
Pages:
4
Journal:
Studia Logica
DOI:
10.1007/bf00370384
Date:
March, 1991
File:
PDF, 183 KB
english, 1991