Provability logic (2004)

by Sergei N. Artemov , Lev D. Beklemishev
Venue:Handbook of Philosophical Logic, 2nd ed
Citations:25 - 9 self