CITATION STYLE
Orevkov, V. P. (1969). Undecidability of a Class of Formulas Containing Just One Single-Place Predicate Variable in Modal Calculus. In Studies in Constructive Mathematics and Mathematical Logic (pp. 67–69). Springer US. https://doi.org/10.1007/978-1-4684-8968-2_16
Mendeley helps you to discover research relevant for your work.