Учебное пособие посвящено изложению элементов математической логики на основе секвенциального аппарата выводимости, успешно используемого в современных метаматематических исследованиях, и на основе предлагаемого автором точного понятия алгоритма, ориентированного на приложения в теории программирования.
Формулируются аксиомы элементарной теории чисел, строятся основы теории множеств в аксиоматической системе Цермело-Френкеля. В последнем разделе книги — приложения к теории субрекурсивных алгоритмов в специализированных направлениях.
Настоящее издание рассчитано на студентов, инженеров, аспирантов и научных сотрудников, интересующихся математической логикой, современной теорией алгоритмов, а также математическими основами теории программирования.

В сборнике, который носит междисциплинарный характер, анализируются проблемы стран Востока в контексте глобализации. В частности, прослеживается причинно-следственная связь событий «арабской весны» с теорией «управления хаосом». Выявлены новые тенденции в социально-экономическом развитии стран Востока, в частности: возросшая роль ТНК и ТНБ стран Востока, активизация экономического присутствия Китая на Африканском континенте, расширение деятельности исламских банков. Некоторые авторы сосредоточили свое внимание на растущей роли глобальных городов, изучении перспектив роста численности населения в Китае и Индии, а также демографических проблемах стран Старого Света.
В сборнике рассматриваются проблемные аспекты сосуществования этнических и религиозных сообществ на Ближнем Востоке и в России. Ряд статей посвящен анализу проблем, связанных с мультикультурализмом и диаспоральными сообществами (в том числе иммигрантского сообщества из мусульманских стран в Италии), выявлению специфики миграционных процессов из Азии в США. Кроме того, анализируются религиозная ситуация в Башкортостане, деятельность недавно созданных мусульманских учебных заведений в Татарстане.