1,402 followers
@SaraLUckelman @antitheorem @RinekeV @Sara_Ayhan_ Poggiolesi's book isn't on there. https://t.co/sqUttwG553
@SaraLUckelman @antitheorem @RinekeV @Sara_Ayhan_ Poggiolesi's book isn't on there. https://t.co/sqUttwG553
RT @yf0fyf: @georg_logic S5のシーケント計算なら佐藤雅彦先生の博論の仕事がありますね(その他,modal sequent calculusはPoggiolesiのサーベイ https://t.co/SWXCcAsUGW が詳しいです
@georg_logic S5のシーケント計算なら佐藤雅彦先生の博論の仕事がありますね(その他,modal sequent calculusはPoggiolesiのサーベイ https://t.co/SWXCcAsUGW が詳しいです