Правильність: відмінності між версіями
| [неперевірена версія] | [неперевірена версія] |
Вилучено вміст Додано вміст
м додана Категорія:Теорія моделей з допомогою HotCat |
|||
Рядок 37:
{{Металогіка}}
[[Категорія:Логіка]]▼
[[Категорія:Теорія доведення]]▼
[[Категорія:Теорія моделей]]
▲[[Категорія:Теорія доведення]]
[[Категорія:Дедуктивна логіка]]
| |||