Библиография Лаврова И.А.

Steel J. R. [1975] Descending sequences of degrees J. Symbolic Logic, 40, № 1, 59-61 76.01.84 S article Вернуться к поиску

Steel J. R. [1981] Determinateness and the separation property J. Symbolic Logic, 46, № 1, 41-44 81.12.28 article Вернуться к поиску

Steel J. R. [1982] A classification of jump operators J. Symbolic Logic, 47, № 2, 347-358 83.01.24 OS article Вернуться к поиску

Slaman T.A., Steel J.R. [1989] Complementation in the Turing degrees J. Symbolic Logic, 54, № 1, 160-176 89.12.78 OS article Вернуться к поиску

Slaman T.A., Steel J.R. [1988] Definable functions on degrees Lect. Notes in Math., 1333, 37-55, Springer-Verlag, 89.03.36 S article Вернуться к поиску

... Skolem T. Skordev D. Skvortsova E.Z. Slaman T. A. Slinko A. Smith R.L. Smuga-Otto M. J. Smullyan R.M. Soare R. I. SolomonDR SolomonR Solon B. Solovay R.M. Sorbi A. SoskovIN SoskovaAA SoskovaMI Spector C. Sperschneider V. Spreen D. Stanley L. Stearns R.E. Steel J.R. Stefani S. Stephan F. Stephen B. Stewart F.M. Steyaert J.M. Stillwell J. Stob M. Stockmeyer L.J. Stoltenberg-Hansen V. StrongHR Sturgis H. E. Su Kaile Surányi J. Suzuki Y. Szmielew W. Вернуться на главную страницу