Зведений каталог бібліотек Тернополя

• Класифікатори та каталоги
• Логічний синтаксис та семантика. Семіотика

Числення

Підтеми:

• Обчислення та символи
• Предмет, знак та позначення
• Властивості логічних обчислень