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

Thurber J. J. [1994] Recursive and recursively enumerable quotient Boolean algebras Arch. Math. Logik Grundl., 33, № 2, 121-129 94.12.43 G article Вернуться к поиску

Thurber J. J. [1995] Every low 2 Boolean algebra has a recursive copy Proc. Amer. Math. Soc., 123, № 12, 3859-3866 96.11.93 G 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. Вернуться на главную страницу