２ちゃんねる ■掲示板に戻る■ 全部 1- 最新50    

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

182 ：１３２人目の素数さん：2024/05/01(水) 14:06:17.20 ID:vM4x4Lv2.net
>>179
なにアホ言ってんの
一番分かりやすいのは自然演繹
メジャーなのはシーケント計算
タブローはマイナーってだけ

113 KB
新着レスの表示
掲示板に戻る 全部 前100 次100 最新50
名前： E-mail (省略可) :

read.cgi ver 2014.07.20.01.SC 2014/07/20 D ★