Формальная система: различия между версиями
[отпатрулированная версия] | [отпатрулированная версия] |
Содержимое удалено Содержимое добавлено
MerlIwBot (обсуждение | вклад) м бот добавил: he:פורמליזם (מתמטיקה) |
Addbot (обсуждение | вклад) м Интервики (всего 23) перенесены на Викиданные, d:q649732 |
||
Строка 135:
[[Категория:Формальные методы]]
[[Категория:Функциональное программирование]]
|