知的エージェントのための集合と論理

インターネット時代の数学シリーズ