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

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

数学基礎論・数理論理学　その19 - 暇つぶし2ch324:１３２人目の素数さん
24/05/18 22:26:11.96 dFtrDe5F.net
>>322
1）シーケント計算で最小論理はどういうもの？
2）シーケント計算でLJは後件が一つ以下となる理由は？