Sunday, February 1, 2009

Ch4, Ex5

This works because "==" i.e. entailment algorithm will block untill X is bound.

No comments:

Post a Comment