766コメント655KB

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

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

0090１３２人目の素数さん

2012/04/04(水) 15:00:27.73

証明論的意味論ってなんですか？

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