论文与出版物 Monadic Theory of Order and Topology in ZFC Yuri Gurevich, Saharon Shelah Annals of Mathematical Logic | July 1982, pp. 179-198
论文与出版物 A Review of Two Books on the Decision Problem Yuri Gurevich Bulletin of the American Mathematical Society | July 1982, 第 7 卷: pp. 273-277
论文与出版物 Prefix Classes of Krom Formulas with Identity S. O. Aandraa, E. Boerger, Yuri Gurevich July 1982, 第 22 卷: pp. 43-49
论文与出版物 Parametric Equalizer Improves Baxandall Tone Control Henrique S. Malvar Electronics | March 1981
论文与出版物 An Ada-compatible specification language NCL Beale, Simon Peyton Jones Proc ACM conference | January 1981
论文与出版物 Two Notes on Formalized Topology Yuri Gurevich Fundamenta Mathematicae | April 1980, 第 57 卷: pp. 145-148
论文与出版物 Scan Line Methods for Displaying Parametrically Defined Surfaces Jeffrey M. Lane, Loren C. Carpenter, Turner Whitted, Jim Blinn Communications of the ACM | January 1980
论文与出版物 Modest Theory of Short Chains, II Yuri Gurevich, Saharon Shelah Journal of Symbolic Logic | August 1979, 第 44 卷: pp. 491-502
论文与出版物 Modest Theory of Short Chains, I Yuri Gurevich Journal of Symbolic Logic | August 1979, 第 44 卷: pp. 481-490