математична логіка, математическая логика ; математика, mathematics, mathematique, matematyka ; алгоритми, алгоритмы, algorithms ; основи теорії алгоритмізації, основы теории алгоритмизации ; алгоритми розв’язання, алгоритмы решения ; висловлювання, высказывания ; множина, множество ; парадокси теорії множин, парадоксы теории множеств ; логіка предикатів, логика предикатов ; предикат, предикат ; теорія множин ; теорія моделей, теория моделей ; теорія доказів, теория доказательств ; навчальний посібник для вищої школи, учебное пособие для высшей школы ; навчальний посібник для вузів, учебное пособие для вузов ; навчальний посібник, учебное пособие ; навчальні посібники, учебные пособия

• ББК // Математика