Доклад Георгия Джапаридзе «Логика вычислимости: отдавая кесарю кесарево», 19 октября 2017 г.