Jan Pich. (I moved to Oxford). I am interested in Mathematical Logic and Complexity Theory. In particular, in Proof Complexity.
確定! 回上一頁