3,498 followers
Tableau Systems for First Order Number Theory and Certain Higher Order Theories よんでるんだけど色んな意味でよみにくい。https://t.co/zZIlI2J8RY
Tableau Systems for First Order Number Theory and Certain Higher Order Theories よんでるんだけど色んな意味でよみにくい。https://t.co/zZIlI2J8RY