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

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

数学基礎論・数理論理学　その19 - 暇つぶし2ch179:１３２人目の素数さん
24/05/01 09:17:13.58 8OeQUrrJ.net
>>175
そんな文章いくら読んでもタブロー法理解できんし
タブロー法について書かれた本を読めば方法わかるから
わけもわからず自然演繹がーシーケント計算がーとかいってんのは
３つともわからんド素人の戯言かと

次ページ

続きを表示

1を表示