1001コメント376KB

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

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

0372１３２人目の素数さん

2011/08/07(日) 17:55:52.91

その「証明論的還元」の定義を教えて。
あとZ2ってのは何なの？

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