1001コメント392KB

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

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

0492１３２人目の素数さん

2011/03/25(金) 16:41:52.80

intuitionistic logic がないのは何故だろう?

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