Geodesic
О сложности проблемы $\forall$-представимости предложений
Algebra i logika, Tome 62 (2023) no. 4, pp. 552-557 
N. T. Kogabaev. О сложности проблемы $\forall$-представимости предложений. Algebra i logika, Tome 62 (2023) no. 4, pp. 552-557. http://geodesic.mathdoc.fr/item/AL_2023_62_4_a5/
@article{AL_2023_62_4_a5,
     author = {N. T. Kogabaev},
     title = {{\CYRO} {\cyrs}{\cyrl}{\cyro}{\cyrzh}{\cyrn}{\cyro}{\cyrs}{\cyrt}{\cyri} {\cyrp}{\cyrr}{\cyro}{\cyrb}{\cyrl}{\cyre}{\cyrm}{\cyrery} $\forall$-{\cyrp}{\cyrr}{\cyre}{\cyrd}{\cyrs}{\cyrt}{\cyra}{\cyrv}{\cyri}{\cyrm}{\cyro}{\cyrs}{\cyrt}{\cyri} {\cyrp}{\cyrr}{\cyre}{\cyrd}{\cyrl}{\cyro}{\cyrzh}{\cyre}{\cyrn}{\cyri}{\cyrishrt}},
     journal = {Algebra i logika},
     pages = {552--557},
     year = {2023},
     volume = {62},
     number = {4},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/AL_2023_62_4_a5/}
}
TY  - JOUR
AU  - N. T. Kogabaev
TI  - О сложности проблемы $\forall$-представимости предложений
JO  - Algebra i logika
PY  - 2023
SP  - 552
EP  - 557
VL  - 62
IS  - 4
UR  - http://geodesic.mathdoc.fr/item/AL_2023_62_4_a5/
LA  - ru
ID  - AL_2023_62_4_a5
ER  - 
%0 Journal Article
%A N. T. Kogabaev
%T О сложности проблемы $\forall$-представимости предложений
%J Algebra i logika
%D 2023
%P 552-557
%V 62
%N 4
%U http://geodesic.mathdoc.fr/item/AL_2023_62_4_a5/
%G ru
%F AL_2023_62_4_a5

Voir la notice de l'article provenant de la source Math-Net.Ru

[1] N. T. Kogabaev, “O slozhnosti problemy ekvivalentnosti khornovskim formulam”, Algebra i logika, 60:6 (2021), 575–586 | MR

[2] N. T. Kogabaev, “O slozhnosti problemy ekvivalentnosti khornovskim formulam. II”, Algebra i logika, 61:4 (2022), 469–482 | MR | Zbl

[3] Yu. L. Ershov, E. A. Palyutin, Matematicheskaya logika, 6-e izd., Fizmatlit, M., 2011 | MR

[4] Yu. L. Ershov, Problemy razreshimosti i konstruktivnye modeli, Nauka, M., 1980