1001コメント392KB

数学基礎論・数理論理学のスレッド　その7

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

0196１３２人目の素数さん

2011/01/23(日) 22:54:51

竹内外史の実数論の無矛盾証明って『Proof Theory』以外
に載ってませんか？

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