トップページ
⇒
math
766コメント
655KB
数学基礎論・数理論理学 その12
全部
前100
次100
最新50
■ このスレッドは過去ログ倉庫に格納されています
0659
132人目の素数さん
2012/06/07(木) 12:08:21.96
シーケントの右辺に複数を許すのがLK。
許さないのがNK。
全部
前100
次100
最新50
■ このスレッドは過去ログ倉庫に格納されています