Provability Logic
DSpace/Manakin Repository
Provability Logic
Artemov, S.N.; Beklemishev, L.D.
(2004) Logic Group Preprint Series, volume 234
(Preprint)
Download/Full Text
Open Access version via Utrecht University Repository
See
more statistics
about this item