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

• Класифікатори та каталоги
• Логіка

Логічний синтаксис та семантика. Семіотика

Підтеми:

• Формальна система
• Числення
• Семантичне визначення істини
• Теорія логічних моделей. Інтерпретація формальних систем
• Значення, смисл