数理逻辑之类的书有。
比如GTM 53的模论部分

【 在 gtgtjing (非必要不正经) 的大作中提到: 】
: rt
--
FROM 117.82.87.*