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

164.05 Дійсність твердження