Proving Several Theorems in First Order Logic Based on Back-and-Forth Method

• 向前向后法证明一阶逻辑的几个定理