No adjectives found for “first-order logic”

Either “first-order logic” is not a common noun or it may be misspelled. Try one of the suggestions below or search a different word.