Tag Archives: A Modern Formal Logic Primer predicate theory by Paul Teller