@article{Селиванов1991, author = {Селиванов, В.Л.}, journal = {Algebra i Logika}, keywords = {hierarchy of predicate logic; quantifier alternations; models; hierarchy of formulas; hierarchy of sets; index sets}, language = {rus}, number = {5}, pages = {568-582}, publisher = {Akademija Nauk SSSR, Sibirskoe Otdelenie, Institut Matematiki}, title = {Тонкая иерархия формул.}, url = {http://eudml.org/doc/187583}, volume = {30}, year = {1991}, }
TY - JOUR AU - Селиванов, В.Л. TI - Тонкая иерархия формул. JO - Algebra i Logika PY - 1991 PB - Akademija Nauk SSSR, Sibirskoe Otdelenie, Institut Matematiki VL - 30 IS - 5 SP - 568 EP - 582 LA - rus KW - hierarchy of predicate logic; quantifier alternations; models; hierarchy of formulas; hierarchy of sets; index sets UR - http://eudml.org/doc/187583 ER -
