981コメント443KB

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

■ このスレッドは過去ログ倉庫に格納されています

0418１３２人目の素数さん

2013/12/24(火) 09:13:59.34

SKの定理を演繹定理なしで演繹してとくのはテクニックとかありますか？

■ このスレッドは過去ログ倉庫に格納されています