predicate logic (Q35148)
subfield of logic
Language: