Introduction to Mathematical Logic by Vilnis Detlovs and Karlis Podnieks Podnieks is a comprehensive tutorial. See Section 1.5.

• 这是一个未完成的逻辑学小作品。欢迎您积极编辑或修订来帮助天华通鉴扩充其内容。