Return to Article Details Varieties of pure first-order logics of partial quasiary predicates Download Download PDF