Spring 2007

MSCS295

Predicate logic languages and translations