Електронний каталог

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

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