Concepedia
Statistics
Publications
1
Citations
38
H-Index
Active since
2005
Publications per year
2005–2005
A Finitary Treatment of the Closed Fragment of Japaridze's Provability Logic
Lev D. Beklemishev, Joost J. Joosten, Marco Vervoort · Journal of Logic and Computation · 2005 · 38 citations · Full text
1–1 of 1