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
Voir la notice de l'article provenant de la source Math-Net.Ru
@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},
publisher = {mathdoc},
volume = {4},
year = {1967},
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 PB - mathdoc 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 %I mathdoc %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/