Conference | Speakers | Profile
Lev Beklemishev
(2000-2009)
XProblems in the logic of provability
2006
in: Mathematical problems from applied logic I, Dordrecht : Springer
Conference | Speakers | Profile
(2000-2009)
XProblems in the logic of provability
2006
in: Mathematical problems from applied logic I, Dordrecht : Springer