トップページ⇒math

766コメント655KB

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

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

0507１３２人目の素数さん

2012/05/20(日) 02:05:21.20

>>495
この文献を紹介された意味は
NKにおいても部分論理式原理が成り立つことが言えるということでしょうか

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