%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