3 citations · 6 across the 6 of their papers we have counts for
1 paper · 1 filter
Rutger Kuyper
Kolmogorov introduced an informal calculus of problems in an attempt to provide a classical semantics for intuitionistic logic. This was later formalised by Medvedev and Muchnik as…