Kolmogorov's Calculus of Problems and its Legacy. - Rodin, Andrei (History & Philosophy of Logic, 2026)