课程库 / 离散数学

3.5 自由变元和约束变元

Week 4: 第三章 谓词逻辑 （第一部分） · 3.5视频