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

Grzegorczyk A. [1956] Some proofs of undecidability of arithmetics Fund. Math., 43, 178-189 59.2236 article Вернуться к поиску

Grzegorczyk A. [1964] Recursive objects in all finite types Fund. Math., 54, № 1, 73-93 65.04.68 article Вернуться к поиску

Grzegorczyk A. [1961] Fonctions recursives Paris, Gaunther-Villars 63.01.77 book Вернуться к поиску

Grzegorczyk A. [1951] Undecidability of some topological theories Fund. Math., 38, 137-152 53.100002 article Вернуться к поиску

Grzegorczyk A. [1955] On the definition of computable functionals Fund. Math., 42, № 2, 232-239 59.8725 article Вернуться к поиску

Grzegorczyk A. [1955] Computable functionals Fund. Math., 42, № 1, 168-202 59.3428 O article Вернуться к поиску

Grzegorczyk A. [1974] Axiomatic theory of enumeration General Recursion Theory, II, Proc. Symp. (Oslo, 1974), 429-436 North Holland 75.06.112 E article Вернуться к поиску

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 Вернуться к поиску

Grzegorczyk A. [1953] Some classes of recursive functions Rozprawy.Mathematycne, 4, Warszawa, 1-45 (Русский перевод в Cб. пер. Козмидиади В.А., Мучник А.А. (ред.) «Проблемы в матем. логике; Сложность ...

... 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. Вернуться на главную страницу