Logic

#
Is there a relationship between predicate logic and computers? If so, what is the relationship?
Accepted:April 24, 2006

Accepted:

April 24, 2006