トップページ⇒math

1001コメント525KB

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

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

0501１３２人目の素数さん

2012/08/26(日) 19:49:17.38

>>498
直観主義関係のconstructiveを「構成可能的」と訳した文献はありますか？

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