Search results
News
General Theory of Computability
(bibliography)
by Lavrov I.A.
By Author Name:
English: A-B-C-D-E-F-G-H-I-J-K-L-M-N-O-P-Q-R-S-T-U-V-W-X-Y-Z
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
Search
Smullyan R.M. [1958] Undecidability and recursive inseparability Z. math. Logik und Grundl. Math., 4, № 2, 143-147 59.10732 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Smullyan R.M. [1962] On Posr’s canonical systems J. Symbolic Logic, 27, № 1, 55-57 63.11.47 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Smullyan R.M. [1963] Creativity and effective inseparability Trans. Amer. Math. Soc., 109, № 1, 135-145 64.11.72 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Smullyan R.M. [1967] More on transfinite recursion Trans. Amer. Math. Soc., 29, № 5, 555-559 68.09.90 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Smullyan R.M. [1964] Effectively simple sets Proc. Amer. Math. Soc., 15, № 4, 893-894 65.05.49 OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Smullyan R.M. [1961] Theory of formal systems Princeton Univ. Press, N.J. (Имеется русский перевод.) ~; 63.06.71 EOR book Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Smullyan R.M. [1965] On transfinite recursion Trans. Amer. Math. Soc., 28, № 2, 175-185 67.01.93 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Smullyan R.M. [1963] Pseudouniform reducibility J. Math. Soc. Japan, 15, № 2, 128-133 64.08.58 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Smullyan R.M. [1960] Theories with effectively inseparable nuclei Z. math. Logik und Grundl. Math., 6 , № 3-4, 219-224 61.12.142 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Putnam H., Smullyan R.M. [1960] Exact separation of recursively enumerable sets within theories Proc. Amer. Math. Soc., 11, № 4, 574-577 61.06.102 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Смальян Р. [1981] Теория формальных систем М., Наука (Перевод книги Smullyan, R.M. “Theory of formal systems”, 1961.) 82.02.18 книга Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.... N. Shavrukov V. Yu. Shelach S. Shen A.Kh. Shepherdson J.C. Shi Nian Dong Shinoda J. 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 ...
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.