Вхід | Ukrainian | Угода користувача
СловникиФорумКонтакти

   Англійська ⇄ +
Google | Forvo | +

Church-Rosser theorem

шт.інтел. Church-Rosser-Theorem n (Lambda-Kalkül)

Додати | Повідомити про помилку | Коротке посилання