Geodesic
Unsolvability in the modal predicate calculus of the class of formulas containing only one monadic predicate variable
Zapiski Nauchnykh Seminarov POMI, Studies in constructive mathematics and mathematical logic. Part I, Tome 4 (1967), pp. 168-173 Cet article a éte moissonné depuis la source Math-Net.Ru

Voir la notice du chapitre de livre

@article{ZNSL_1967_4_a16,
     author = {V. P. Orevkov},
     title = {Unsolvability in the modal predicate calculus of the class of formulas containing only one monadic predicate variable},
     journal = {Zapiski Nauchnykh Seminarov POMI},
     pages = {168--173},
     year = {1967},
     volume = {4},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/ZNSL_1967_4_a16/}
}
TY  - JOUR
AU  - V. P. Orevkov
TI  - Unsolvability in the modal predicate calculus of the class of formulas containing only one monadic predicate variable
JO  - Zapiski Nauchnykh Seminarov POMI
PY  - 1967
SP  - 168
EP  - 173
VL  - 4
UR  - http://geodesic.mathdoc.fr/item/ZNSL_1967_4_a16/
LA  - ru
ID  - ZNSL_1967_4_a16
ER  - 
%0 Journal Article
%A V. P. Orevkov
%T Unsolvability in the modal predicate calculus of the class of formulas containing only one monadic predicate variable
%J Zapiski Nauchnykh Seminarov POMI
%D 1967
%P 168-173
%V 4
%U http://geodesic.mathdoc.fr/item/ZNSL_1967_4_a16/
%G ru
%F ZNSL_1967_4_a16
V. P. Orevkov. Unsolvability in the modal predicate calculus of the class of formulas containing only one monadic predicate variable. Zapiski Nauchnykh Seminarov POMI, Studies in constructive mathematics and mathematical logic. Part I, Tome 4 (1967), pp. 168-173. http://geodesic.mathdoc.fr/item/ZNSL_1967_4_a16/