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

new

向前向后法证明一阶逻辑的几个定理的英文翻译

基本释义

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

向前向后法证明一阶逻辑的几个定理的相关资料：

临近单词

向向学

目录

查词历史