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

Addison J.W. , Kleene S. C. [1957] A note on function quantification Proc. Amer. Math. Soc., 8, № 5, 1002-1006 59.7662 RO article Вернуться к поиску

Addison J.W. [1962] Some problems in hierarchy theory Recursive Functions Theory, Proc. Symp. Pure Math., 5, Amer. Math. Soc., Providence, R.I., 123-130 68.05.125 R article Вернуться к поиску

Addison J.W. [1959] Separation principles in the hierarchies of classical and effective descriptive set theory Fund. Math., 46 , № 2 , 123-135 61.Б3.17 ROS article Вернуться к поиску

Addison J.W. [1962] The theory of hierarchies Proc. I Inter. Congress Logic, Methodology, Philosophy Sci., (Stanford, 1960), Stanford Univ. Press, 26-37 (Русский перевод в сб. “Математическая логика и ее применения”,...

Lewis H.R. [1979] Unsolvable cases of quantificational formulas Addison Wesley 80.06.19 O book Вернуться к поиску

Shoenfield J.R. [1967] Mathematical Logic Addison Wesley, Reading, Maass (Имеется русский перевод.) ? S book Вернуться к поиску

A AbianS Abraham U. Ackermann W. Aczel P. Addison J.W. Adleman L.M. Afshari B. Ahmad S. Alfeld Ch. Allender E. W. Aloisio P. Alton D.A. Ambos-Spies K. Appel K.I. AptKR Arbib M.A. Arslanov M. M, AshCJ AsserG. Ausiello G. AxJ Axt P. Вернуться на главную страницу

Hay L., Miller D. [1982] The Addison game played backwards: index sets in topology Proc. Patras Logic Symp. (Patras, Greece, 1980), North-Holland, 231-237 84.03.84 article Вернуться к поиску