Repository | People

133841

References

Lev Beklemishev

Problems in the logic of provability

2006

with Visser Albert

in: Mathematical problems from applied logic I, Dordrecht : Springer

Open Access Link