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

164.2 Логіка понять. Числення предикатів і класів.Функції з однією змінною