3 Mar 2004
CS 3243 - Chapter 8
1
First-Order Logic
Chapter 8
