Set theory and syntactic description by William S. Cooper & Emily Cooper