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

Thomason S.K. [1985] Axiomatic recursion theory and the continuous functionals J. Symbolic Logic, 50, № 2, 442-450 ? article Вернуться к поиску

Thomason S.K. [1970] A theorem on initial segments of degrees J. Symbolic Logic, 35, № 1, 41-45 71.04.48 O article Вернуться к поиску

Thomason S.K. [1970] On initial segments of hyperdegrees J. Symbolic Logic, 35, № 2, 189-197 71.06.59 article Вернуться к поиску

Thomason S.K. [1985] Priority arguments in the continuous recursively enumerable degrees J. Symbolic Logic, 50, № 3, 661-667 ? article Вернуться к поиску

Thomason S.K. [1969] A note on non-distributive sublatties of degree and hyperdegrees Canad. J. Math., 21, № 1. 147-148 69.08.81 article Вернуться к поиску

Thomason S.K. [1970] Sublattices and initial segments of the degrees of unsolvability Canad. J. Math., 22, № 3, 569-581 71.05.44 R article Вернуться к поиску

Thomason S.K. [1971] Sublattices of the recursively enumerable degrees Z. math. Logik und Grundl. Math., 17, № 3, 273-280 72.04.84 OS article Вернуться к поиску

Thomason S.K. [1967] The forcing method and the upper semilattice of hyperdegree Trans. Amer. Math. Soc., 129, № 1, 38-57 68.07.133 article Вернуться к поиску

T Takeuti G. Talasbaeva Z.T. Tanaka H. Tarski A. Tennenbaum S. Terwijn S.A. Thomason S.K. Thompson S. Thuraisingham M.B. Thurber J. J. Titgemeyer D. Tompa M. Torenvliet L. Trachtenbrot B.A. Trotter W. Truss J.K. Tucker J. V. Turing A.M. Вернуться на главную страницу