Ершов, Ю.Л.. "Сколемовские функции и конструктивные модели.." Algebra i Logika 12.6 (1973): 644-654. <http://eudml.org/doc/186816>.
@article{Ершов1973, author = {Ершов, Ю.Л.}, journal = {Algebra i Logika}, keywords = {последовательность правильных конечных моделей; теорема Крускала}, language = {rus}, number = {6}, pages = {644-654}, publisher = {Akademija Nauk SSSR, Sibirskoe Otdelenie, Institut Matematiki}, title = {Сколемовские функции и конструктивные модели.}, url = {http://eudml.org/doc/186816}, volume = {12}, year = {1973}, }
TY - JOUR AU - Ершов, Ю.Л. TI - Сколемовские функции и конструктивные модели. JO - Algebra i Logika PY - 1973 PB - Akademija Nauk SSSR, Sibirskoe Otdelenie, Institut Matematiki VL - 12 IS - 6 SP - 644 EP - 654 LA - rus KW - последовательность правильных конечных моделей; теорема Крускала UR - http://eudml.org/doc/186816 ER -