Return to Article Details Predicate Logic with Anaphora Download Download PDF