Вход | Russian | Соглашение пользователя

Google | Forvo | +

several-sorted predicate calculus

ударения

исчисление предикатов с несколькими сортами переменных; исчисление предикатов с переменными нескольких видов

Добавить | Сообщить об ошибке | Короткая ссылка