766コメント655KB

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

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

0338１３２人目の素数さん

2012/04/29(日) 22:34:25.12

>>304
> 特に多いんですよねコンピュータサイエンスってこんな用語が...。

Type theoryどころかresolution pricipleすら怪しげなのによくそんな事言えるなw

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