next up previous
Next: An example Up: Logic Knowledge Representation Previous: Logic Knowledge Representation

Predicate logic





dave@cs.cf.ac.uk