Displaying similar documents to “О построении разрешимых сингулярных теорий двух функций следования с дополнительным предикатом.”