Repository | Directory | Profile

133841

Lev Beklemishev

Bibliographie 1

Problems in the logic of provability

2006

Lev BeklemishevAlbert Visser

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

Open Access Link