Перейти до вмісту

Категорія:Системи формальної логіки

Матеріал з Вікіпедії — вільної енциклопедії.

Ці системи забезпечують синтаксис та семантику для формального вивчення логіки.

Підкатегорії

Ця категорія має тільки таку підкатегорію.