計算可能性論理
Giorgi Japaridzeの研究によるものが多く，逆に言えばGiorgi Japaridzeしかほとんど研究してない
参考文献
G. Japaridze; "Introduction to computability logic"
読む手段は無い．