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