Recursive Predicates and Quantifiers https://www.jstor.org Read and download Log in through your school or library Alternate access options For independent researchers ...