AXIOMATIZATIONS

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

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

New large English-Russian dictionary . Новый большой Англо-Русский словарь. 2011

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