Language CS461 AI CH08 Lecture: 8.2: Syntax and Semantics of First-Order Logic April 19, 2020Professor Hank Stalica
