PREDICATIVE CALCULUS


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

лог. исчисление предикатов

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