Избранное
ЭБ Нефть
и Газ
Главная
Оглавление
Поиск +
Еще книги ...
Энциклопедия
Помощь
Для просмотра
необходимо:


Книга: Главная » Петер Р.N. Рекурсивные функции
 
djvu / html
 

ЛИТЕРАТУРА
Аккерман (Ackermann W.)
[1] Zum Hilbertschen Aufbau der reellen ZahJen, Math. Annalen, 99
(1928), 118—133.
[2] Zur Widerspruchsfreiheit der Zahlentheorie, Math. Annalen, 117 (1940), 162—194.
Берецкн (Bereczki I.)
[1] Nem-elemi rekurziv fijggveny letezese, Co.nptes Rendus du Premier Congres des Mathematiciens Hbngrois, 1950, pp. 409—417.
[2] Losung eines Markovschen Problems betreffs einer Ausdehnung des Begrlffes der elementaren Funktion (на немецком, с русским резюме), Acta Math. Acad. Scientiarum Hungaricae, 3 (1952), 197—218.
Бернайс (Bernays P.)
[1] Quelques points essentiels 4e la metamathematique, L'Enseignement MathematiQue, 34 (1935), 70—95.
Вейль Г. (Weyl H.)
[11* Das Kontinuum, Leipzig, 1918; 2-te Aufl., 1932. [2]* О философии математики, М.—Л., 1934.
Гёдель (Godel К.)
[1] Uber formal unentscheidbare Satze der Principia Mathematica und
verwandter Systeme I, Monatshefte fiir Math, und Phys., 38 (1931),
173—198. [2] On undecidable propositions of formal mathematicaJ systems, Notes
of lectures at the Institute for Advanced Study, 1934.
Гильберт (Hilbert D.)
[1] Uber das Unendliche, Math. Annalen, 85 (1926), 161—190. Гильберт и Бернайс (Hilbert D., Bernays P.)
[1] Grundlagen der Mathematik, Berlin, 1934—1939. Гудстейн (Goodsteln R. L.)
[1] On the restricted ordinal theorem, The Journ. of Symb. Log., 9
(1944), 33—41. [2] Function theory in an axiom-free equation calculus, Proc. of the
London Math. Soc., (2) 48 (1945), 401—434.
[3] The strong convergence of the exponential function, Journ. of the London Math. Soc., 22 (1947), 200—205.

 

1 10 20 30 40 50 60 70 80 90 100 110 120 130 140 150 160 170 180 190 200 210 220 230 240 250 251 252 253 254 255 256 257 258 259 260


Математика