Evgeny Kolmakov
Identifiers
- name variant Evgeny Kolmakov 0.50 · backfill
Papers (1)
- Axiomatizing provable $n$-provability math.LO · 2018 · author #1
Mentions
No mention provenance yet.
Frequent Coauthors
- Lev Beklemishev 1 shared papers
No mention provenance yet.