3390 自动推理（三） 01-14

3389 自动推理（二） 01-10

3388 自动推理（一） 01-11

3387 大众表达的逻辑（三） 01-10

3386 大众表达的逻辑（二） 01-10

3385 大众表达的逻辑（一） 01-14

3384 量子力学（二） 01-10

3383 量子力学（一） 01-11

3382 阿奇塔斯（五） 01-10

3381 阿奇塔斯（四） 01-11

3380 阿奇塔斯（三） 01-14

3379 阿奇塔斯（二） 01-14

3378 阿奇塔斯（一） 01-10

3377 证明理论语义（完结） 01-14

3376 证明理论语义（三） 01-14

3375 证明理论语义（二） 01-10

3374 证明理论语义（一） 01-14

3373 量子计算（完结） 01-11

3372 量子计算（三） 01-14

3371 量子计算（二） 01-10

3370 量子计算（一） 01-14

3369 人工智能和机器人技术的伦理（完结） 01-14

3368 人工智能和机器人技术的伦理（三） 01-11

3367 人工智能和机器人技术的伦理（二） 01-14

3366 人工智能和机器人技术的伦理（一） 01-11

3365 元胞自动机（五） 01-14

3364 元胞自动机（四） 01-14

3363 元胞自动机（三） 01-14

3362 元胞自动机（二） 01-14

3361 元胞自动机（一） 01-14

3360 自指与悖论（完结） 01-11

3359 自指与悖论（三） 01-14

3358 自指与悖论（二） 01-14

3357 自指与悖论（一） 01-14

3356 亚瑟·普赖尔（六） 01-14

3355 亚瑟·普赖尔（五） 01-14

3354 亚瑟·普赖尔（四） 01-14

3353 亚瑟·普赖尔（三） 01-14

3352 亚瑟·普赖尔（二） 01-14

3351 亚瑟·普赖尔（一） 01-11