Лисовик, Л.П.. "О построении разрешимых сингулярных теорий двух функций следования с дополнительным предикатом.." Algebra i Logika 23.3 (1984): 266-277. <http://eudml.org/doc/187269>.
@article{Лисовик1984, author = {Лисовик, Л.П.}, journal = {Algebra i Logika}, keywords = {singular second-order theory of two successor functions}, language = {rus}, number = {3}, pages = {266-277}, publisher = {Akademija Nauk SSSR, Sibirskoe Otdelenie, Institut Matematiki}, title = {О построении разрешимых сингулярных теорий двух функций следования с дополнительным предикатом.}, url = {http://eudml.org/doc/187269}, volume = {23}, year = {1984}, }
TY - JOUR AU - Лисовик, Л.П. TI - О построении разрешимых сингулярных теорий двух функций следования с дополнительным предикатом. JO - Algebra i Logika PY - 1984 PB - Akademija Nauk SSSR, Sibirskoe Otdelenie, Institut Matematiki VL - 23 IS - 3 SP - 266 EP - 277 LA - rus KW - singular second-order theory of two successor functions UR - http://eudml.org/doc/187269 ER -