Basic introductory suggestions: Chen Muze's Fundamentals of Mathematical Logic-First-order Logic and First-order Theory, and Du Fu's Fundamentals of Classical and Non-classical Logic.

The challenges are: Shi Chunyi's Mathematical Logic and Set Theory, Geng Suyun's Discrete Mathematics, and China Posts and Telecommunications Publishing House's Mathematical Logic and the Principle of Resolution.