中文的话，《逻辑基础——修订版》（王路）➡《逻辑演算》（刘壮虎）+《一阶逻辑》（叶峰）或者 符号逻辑讲义（徐明）。看完这些就差不多了，之后就是模态逻辑和四论了。
如果你英文不错，建议你直接参考这个，https://www.logicmatters.net/resources/pdfs/LogicStudyGuide.pdf。

中文的话，《逻辑基础——修订版》（王路）➡《逻辑演算》（刘壮虎）+《一阶逻辑》（叶峰）或者 符号逻辑讲义（徐明）。看完这些就差不多了，之后就是模态逻辑和四论了。
如果你英文不错，建议你直接参考logicmatters。