Provability logic (2004)

by Sergei Artemov
Venue:Handbook of Philosophical Logic, 2nd ed
Citations:25 - 9 self