Is there a relationship between predicate logic and computers? If so, what is the relationship?
Read another response by Mark Sprevak
Read another response about Logic