V
V. A. Lifshits
Publications - 1
Citations - 6
V. A. Lifshits is an academic researcher. The author has contributed to research in topics: First-order logic & Decision problem. The author has an hindex of 1, co-authored 1 publications receiving 6 citations.
Papers
More filters
Book ChapterDOI
Some Reduction Classes and Undecidable Theories
TL;DR: In this article, a formula of E Д type is defined as an arbitrary formula of predicate calculus with equality and functional symbols, where x is the subject variable and D is the disjunction of elementary formulas.