Lev Beklemishev
in English
XProblems in the logic of provability
2006
in: Mathematical problems from applied logic I, Dordrecht : Springer
in English
XProblems in the logic of provability
2006
in: Mathematical problems from applied logic I, Dordrecht : Springer