Disambiguation evidence for Gödel–Löb provability logic (GL) via surface form
"The Logic of Provability"
Triples (1)
Triples where some other subject referred to this entity
as "The Logic of Provability".
George Boolos
→
notableWork
→
"The Logic of Provability"
ⓘ
↳ resolves to Gödel–Löb provability logic (GL)