Правильність: відмінності між версіями
| [неперевірена версія] | [неперевірена версія] |
Вилучено вміст Додано вміст
Sanya3 (обговорення | внесок) мНемає опису редагування |
м додана Категорія:Теорія моделей з допомогою HotCat |
||
Рядок 39:
[[Категорія:Логіка]]
[[Категорія:Теорія доведення]]
[[Категорія:Теорія моделей]]
| |||