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

• ББК // Математика
• Персоналії // Шенфілд Джозеф, Шенфилд Джозеф