24/05/01 14:06:17.20 vM4x4Lv2.net
>>179
なにアホ言ってんの
一番分かりやすいのは自然演繹
メジャーなのはシーケント計算
タブローはマイナーってだけ
24/05/01 14:06:17.20 vM4x4Lv2.net
>>179
なにアホ言ってんの
一番分かりやすいのは自然演繹
メジャーなのはシーケント計算
タブローはマイナーってだけ
24/05/01 14:06:17.20 vM4x4Lv2.net
>>179
なにアホ言ってんの
一番分かりやすいのは自然演繹
メジャーなのはシーケント計算
タブローはマイナーってだけ