Числення висловів мінімальне: відмінності між версіями
[неперевірена версія] | [неперевірена версія] |
Вилучено вміст Додано вміст
м додана Категорія:Системи формальної логіки з допомогою HotCat |
SOMBot (обговорення | внесок) більше не розпізнається як ізольована |
||
Рядок 11:
''К. П. Вершинін''.
|