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

Soskova A. A. [1990] Computability on many-sorted structures Докл. Болг. АН, 43, № 1, 9-11 90.10.35 article Вернуться к поиску

Soskov I. N., Soskova A. A. [1990] Effective enumerations of abstract structures Mathematical Logic, Plenum, NY, 361-372 ? G article Вернуться к поиску

Soskov I. N., Soskova A. A. [1998] Admissibility in Σ n 0 -enumerations Ann.Univ. Sofia, Fac. Math., Inform., 1996 (1998), 90, 77-90 03.12.121 article Вернуться к поиску

Soskova A. A. [2005] Properties of co-spectra of joint spectra of structures Ann.Univ. Sofia, Fac. Math., Inform., 97, 23–40 07.05.123 article Вернуться к поиску

Soskova A. A., Soskov I. N. [2004] Co-spectra of join spectra of structures Ann.Univ. Sofia, Fac. Math., Inform., 96, 35–44 06.05.109 article Вернуться к поиску

... Shlapentokh A. Shoenfield J.R. Shore R.A. Silibovski S. Simon J. Simpson S.G. 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 ...