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

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

Логіка доказу стверджень (теорем). Числення викладів (формулювань)