first-order logics
English
Noun
first-order logics
plural of
first-order logic