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
Grzegorczyk A. [1956] Some proofs of undecidability of arithmetics Fund. Math., 43, 178-189 59.2236 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Grzegorczyk A. [1964] Recursive objects in all finite types Fund. Math., 54, № 1, 73-93 65.04.68 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Grzegorczyk A. [1961] Fonctions recursives Paris, Gaunther-Villars 63.01.77 book Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Grzegorczyk A. [1951] Undecidability of some topological theories Fund. Math., 38, 137-152 53.100002 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Grzegorczyk A. [1955] On the definition of computable functionals Fund. Math., 42, № 2, 232-239 59.8725 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Grzegorczyk A. [1955] Computable functionals Fund. Math., 42, № 1, 168-202 59.3428 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Grzegorczyk A. [1974] Axiomatic theory of enumeration General Recursion Theory, II, Proc. Symp. (Oslo, 1974), 429-436 North Holland 75.06.112 E article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Grzegorczyk A. [1962] An example of two weak essentially undecidable theories F and F * Bull. Acad. Polon. sci., Ser. math., astron. et phys., 10, № 1 , 5-9 62.11.69 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Grzegorczyk A. [1953] Some classes of recursive functions Rozprawy.Mathematycne, 4, Warszawa, 1-45 (Русский перевод в Cб. пер. Козмидиади В.А., Мучник А.А. (ред.) «Проблемы в матем. логике; Сложность ...
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.... Georgieva N. Gerla G. Gill J. Giorgi M.B. Giusto M. Gladstone M.D. Glasser C. Gödel K. Goetze B. GoldEM Goldfarb W.D. Goncharov S.S. Gonshor H. Gordon C. E. Grant P.W. Grassin J. Greenberg N. Griffiths E.J. J. Griffor E.R. Grilliot T. Groszek M. J. Grzegorczyk A. Guichard D. Gurevich Ju. Вернуться на главную страницу
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.