My collaboration with Julia Robinson
Works connected to Boris A. Kushner
Filter the Bibliography List
Two universal three-quantifier representations of enumerable sets,” pp. 112–123 in Teopiya algorifmov i matematicheskaya logika [Theory of algorithms, and mathematical logic]. Edited by B. A. Kushner and N. M. Nagorny. Computing Center of the Academy of Sciences (Moscow), 1974. Volume dedicated to A. A. Markov on the occasion of his seventieth birthday. MR 406780 Zbl 0327.02035 incollection
: “