first-order logic

Логіка (предикатів) першого порядку