12/01/12 21:13:52.74
こんなんあるよ
us.metamath.org/index.html
これの部分構造論理とか線型論理とか様相論理とかのver.があれば
勉強・研究する人には便利だろうな
12/01/12 21:13:52.74
こんなんあるよ
us.metamath.org/index.html
これの部分構造論理とか線型論理とか様相論理とかのver.があれば
勉強・研究する人には便利だろうな
12/01/12 21:13:52.74
こんなんあるよ
us.metamath.org/index.html
これの部分構造論理とか線型論理とか様相論理とかのver.があれば
勉強・研究する人には便利だろうな