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

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

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

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

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

Ч

Сторінки в категорії «Системи формальної логіки»

Показано 6 сторінок цієї категорії (із 6).

І

Л

Ч

Отримано з https://uk.wikipedia.org/w/index.php?title=Категорія:Системи_формальної_логіки&oldid=15769819