quantificational logic

Мат. логика предикатов