JAPARIDZE, G. Arithmetics based on computability logic. Логические исследования, v. 25, n. 2, p. 61-74, 23 дек. 2019.