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

164.07 Окремі проблеми. Окремі теореми