first-order_predicate_calculus Copy: first-order_predicate_calculus has NO comma Hide Show No older revisions available