Yifeng Ding

Ein tiefgehender Blick auf Medvedev-Rahmen und deren Einfluss auf intuitionistische Logik.