Navigation
Logic Group Preprint Series
'
Logic Group Preprint Series
Skip to content
Vervoort, M.
Volume
Title
240
A finitary treatment of the closed fragment of Japaridze’s provability logic
Beklemishev, L.D.
|
Joosten, Joost J.
|
Vervoort, M.
Online