DMCA

Provability logic (2004)

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