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
Feiner L. [1973] Degrees of nonrecursive presentability Proc. Amer. Math. Soc., 38, № 3, 621-624 74.01.86 G article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Feiner L. [1970] Hierarchies of Boolean algebras J. Symbolic Logic, 35 , № 3, 365-374 (Русский перевод в книге Дж. С. Шенфилда Степени неразрешимости , М., Наука, 1977, 163-179.) 71.07.80 article ...
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Feiner L. [1970] The strong homogeneity conjecture J. Symbolic Logic, 35 , № 3, 375-377 (Русский перевод в книге Дж.С. Шенфилда Степени неразрешимости , М., Наука, 1977, 180-184.) 71.06.53 RO article ...
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.F Fabian R.J. Fan Yun Feferman S. Feiner L. FejerL FejerPA Fellows M.R. Fenner S. Fenstad J.E. Ferrante J. Figueira S. Finkelstein M. FischerMJ FischerP Fischer.PC Fitting M. Flajolet P. Fleischhack H. Florence J.B. Fokina E.B. Fortnow L. Fotrune S. Fraissé R. Freivalds R.V. Friedberg R.M. ...
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.