Частично упорядоченное множество: различия между версиями
[отпатрулированная версия] | [отпатрулированная версия] |
Содержимое удалено Содержимое добавлено
Bezik (обсуждение | вклад) м стилевые правки, ё, убрал "пример из жизни", согласование окончаний |
Bezik (обсуждение | вклад) м →Литература: поддержка референции на литературу |
||
Строка 136:
|isbn =
|тираж = 4800
|ref = Барендрегт
}}
* {{книга
|