Repository | Series | Book | Chapter
Problems in the logic of provability
pp. 77-136
Publication details
Published in:
Gabbay Dov M., Goncharov Sergei, Zakharyaschev Michael (2006) Mathematical problems from applied logic I: logics for the XXIst century. Dordrecht, Springer.
Pages: 77-136
Full citation:
Beklemishev Lev, Visser Albert (2006) „Problems in the logic of provability“, In: D. M. Gabbay, S. Goncharov & M. Zakharyaschev (eds.), Mathematical problems from applied logic I, Dordrecht, Springer, 77–136.