1001コメント525KB

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

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

0608１３２人目の素数さん

2012/09/01(土) 22:41:25.97

超準解析って型理論とかmany-sortedな言語による定式化しかないんだっけ？

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