next up previous
Next: Representing First-Order Logic



Randy Latimer 2000-12-18