Добрица, В.П.. "О полурешетках вычислимых индексаций классов конструктивных моделей." Algebra i Logika 26.5 (1987): 558-576. <http://eudml.org/doc/187403>.
@article{Добрица1987, author = {Добрица, В.П.}, journal = {Algebra i Logika}, keywords = {effectively presented models; computable indexings of families of constructive models; Gödel numbers of finite models; semilattice of countable indexings; index set}, language = {rus}, number = {5}, pages = {558-576}, publisher = {Akademija Nauk SSSR, Sibirskoe Otdelenie, Institut Matematiki}, title = {О полурешетках вычислимых индексаций классов конструктивных моделей}, url = {http://eudml.org/doc/187403}, volume = {26}, year = {1987}, }
TY - JOUR AU - Добрица, В.П. TI - О полурешетках вычислимых индексаций классов конструктивных моделей JO - Algebra i Logika PY - 1987 PB - Akademija Nauk SSSR, Sibirskoe Otdelenie, Institut Matematiki VL - 26 IS - 5 SP - 558 EP - 576 LA - rus KW - effectively presented models; computable indexings of families of constructive models; Gödel numbers of finite models; semilattice of countable indexings; index set UR - http://eudml.org/doc/187403 ER -
