Introduction - If you have any usage issues, please Google them yourself
数理逻辑介绍,2021年版。 1. Introduction. What Is Logic, Really? 2. Propositional Logic 3. Predicate Logic 4. Completeness Theorem
Packet : Detlovs_Podnieks_Math_Logic_2021.zip filelist
Detlovs_Podnieks_Math_Logic_2021.pdf