Зведений каталог бібліотек Львова

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

Дійсність ствердження (теореми)

Підтеми:

• Істинні функції
• Проблема прийняття рішення