Доклад Г. Джапаридзе «Арифметика, базирующаяся на логике вычислимости», 14 ноября 2018 г.