CIS 301 Textbook
>
Predicate Logic Translations
Chapter 5
Predicate Logic Translations