first-order logic Логіка (предикатів) першого порядку Джерело: Англо-український словник технічних термінів на Slovnyk.me first-come of all first-out