AXIOMATIZATIONS

Англо-русский перевод AXIOMATIZATIONS

Аксиоматизации

Big English-Russian dictionary . Большой Англо-Русский словарь. 2012

AXIOMATIZATIONS — Аксиоматизации
Новый большой Англо-Русский словарь
PREDICATE CALCULUS — Part of modern symbolic logic which systematically exhibits the logical relations between propositions involving quantifiers such as "all" and "some. …
Английский словарь Британика
PREDICATE CALCULUS — Part of modern symbolic logic which systematically exhibits the logical relations between propositions involving quantifiers such as "all" and "some. …
Britannica Concise Encyclopedia