Repository | Book | Chapter

COPR BookmarkLink
193932

(2006) Mathematical problems from applied logic I, Dordrecht, Springer.

Problems in the logic of provability

Lev Beklemishev, Albert Visser

pp. 77-136

Publication details

DOI: 10.1007/0-387-31072-X_2

Full citation:

Beklemishev, L. , Visser, A. (2006)., Problems in the logic of provability, in D. M. Gabbay, S. Goncharov & M. Zakharyaschev (eds.), Mathematical problems from applied logic I, Dordrecht, Springer, pp. 77-136.