766コメント655KB

数学基礎論・数理論理学　その12

■ このスレッドは過去ログ倉庫に格納されています

0604１３２人目の素数さん

2012/05/29(火) 07:50:59.61

上の方でＮＫをシーケントで定式化とか言っているバカがいるが
シーケント計算はＬＫだろｗｗ

■ このスレッドは過去ログ倉庫に格納されています