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