RUS
ENG
Full version
JOURNALS
// Zapiski Nauchnykh Seminarov POMI
// Archive
Zap. Nauchn. Sem. LOMI,
1967
Volume 4,
Pages
168–173
(Mi znsl2219)
Unsolvability in the modal predicate calculus of the class of formulas containing only one monadic predicate variable
V. P. Orevkov
Fulltext:
PDF file (228 kB)
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2025
Fulltext:
PDF file (228 kB)