 As noted, it is not an exaggeration to say that classical, first-order logic is the paradigm of contemporary logical theory. Most textbooks do not mention higher-order languages at all, and most of the rest give it scant treatment.