Evgeny Kolmakov

Identifiers

• name variant Evgeny Kolmakov 0.50 · backfill

Papers (1)

1. Axiomatizing provable $n$-provability math.LO · 2018 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Lev Beklemishev 1 shared papers