PREDICATIVE ARITHMETIC

арифметика предикатов

Смотреть больше слов в «Англо-русском словаре компьютерных терминов»

PREDICATIVE CALCULUS →← PREDICATE VARIABLE

Смотреть что такое PREDICATIVE ARITHMETIC в других словарях:

PREDICATIVE ARITHMETIC

матем. предикативная арифметика, арифметика предикатов

PREDICATIVE ARITHMETIC

арифметика предикатов

T: 154