Bibliography

Research Papers in Refereed Journals and Volumes

Books

Invited Book Reviews

Translations

  • M. V. Zakhar’yashchev, Modal companions of superintuitionistic logics: syntax, semantics, and preservation theorems, Mathematics of the USSR Sbornik 68 (1991), pp. 277–289. Translated from Russian by V. Harizanov.
  • A. I. Tsitkin, Towards the question of an error in a well-known paper by M. Wajsberg, Selecta Mathematica Sovietica 7, 1988, pp. 23–36. Translated from Russian by V. Harizanov.
  • V. P. Orevkov, Theorems with very short proofs can be strengthened, Selecta Mathematica Sovietica 7, 1988, pp. 37–38. Translated from Russian by V. Harizanov.
  • I. D. Zaslavsky, The realization of three-valued logical functions through recursive and Turing operators, Selecta Mathematica Sovietica 7, 1988, pp. 15–22. Translated from Russian by V. Harizanov.
  • K. Zh. Kudaibergenov, On questions of Keisler and Morley, Soviet Mathematics Doklady (Russian Academy of Sciences) 34, 1987, pp. 482–483. Translated from Russian by V. Harizanov.
  • N. V. Petri, Unsolvability of the recognition problem for annihilating iterative networks, Selecta Mathematica Sovietica 6, 1987, pp. 355–363. Translated from Russian by V. Harizanov.
  • N. K. Zamov, The resolution method without skolemization, Soviet Mathematics Doklady (Russian Academy of Sciences) 35, 1987, pp. 399–401. Translated from Russian by V. Harizanov.
  • D. P. Skvortsov, Some propositional logics connected with Yu. T. Medvedev’s concept of types of information, Selecta Mathematica Sovietica 5, 1986, pp. 371–377. Translated from Russian by V. Harizanov.
  • L. L. Esakia, On the variety of Grzegorczyk algebras, Selecta Mathematica Sovietica 3, 1983/84, pp. 343–366. Translated from Russian by V. Harizanov.