Contributed talk at the 7th Workshop on Formal Topology (Venice 13-17 April 2026)(slides)
April 16, 2026
Kolmogorov’s Calculus of Problems and its legacy in the constructive mathematics
Comments Off on Kolmogorov’s Calculus of Problems and its legacy in the constructive mathematics
No Comments
No comments yet.
RSS feed for comments on this post.
Sorry, the comment form is closed at this time.