Repository | Directory | Profile

Lev Beklemishev
Problems in the logic of provability
2006
in: Mathematical problems from applied logic I, Dordrecht : Springer
European Society
for Phenomenology
Repository | Directory | Profile

Problems in the logic of provability
2006
in: Mathematical problems from applied logic I, Dordrecht : Springer