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
Tarski A. [1955] A lattice-theoretical fixed-point theorem and its applications Pacif. J. Math., 5, № 2, 285-309 57.1210 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Tarski A., McKinsey J. C. C. [1951] A decision Method for Elementary Algebra and Geometry Berkeley ~ book Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Tarski, A., Mostowski A., Robinson R.M. [1953] Undecidable theories North-Holland 58.2684 SOR book Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.McNulty G.F. [1986] Alfred Tarski and undecidable theories J. Symbolic Logic, 51, № 4, 890-898 87.08.66 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Doner J.,Hodges W. [1988] Alfred Tarski and decidable theories J. Symbolic Logic, 53, № 1, 20-35 88.10.88 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.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. Вернуться на главную страницу
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Csima B., Montalban A., Shore R.A. [2006] Boolean algebras, Tarski invariants and index sets Notre Dame J. Math. Logic, 47, № 1, 1-23 ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.