Указатель имён

Айтаи (Miklos Ajtai) : 43

Архимед, ок. 287 { 212 до Р. Х. (Сиракузы) : 255 Ахо А. (Alfred Vaino Aho), 1941 : 39

Бернайс П. (Paul Isaac Bernays), 17.10.1888,

London (Англия) { 18.10.1977, Zurich (Швейцария) : 164, 190

Брауэр Л. Э. Я. (Luitzen Egbertus Jan Brouwer), 27.02.1881, Overschie (ныне в Роттедаме,

Нидерланды) { 02.12.1966, Blaricum (Нидерланды) : 70{72

Буль Дж. (George Boole), 02.11.1815, Lincoln, Lincolnshire (Англия) { 08.12.1864, Ballintemple, County Cork (Ирландия) : 5

Бурбаки Никола (Nicolas Bourbaki) : 190

ван дер Варден Б. Л. (Bartel Leendert van der Waerden), 02.02.1903, Amsterdam (Нидерланды) { 12.01.1996, Zurich (Швейцария) : 223

Воот Р. (Robert Lawson Vaught), 04.04.1926, Alhambra, California (США) { 02.04.2002, Berkeley, California (США) : 213, 222

Гейтинг А. (Arend Heyting), 09.05.1898, Amsterdam (Нидерланды) { 09.07.1980, Lugano (Швейцария) : 69, 72

Генцен Г. (Gerhard Gentzen), 24.11.1909, Greifswald (Германия) { 04.08.1945, Prague (Чехословакия) : 63, 69, 198

Гёдель К. (Kurt Godel),- 28.04.1906, Brunn,- Австро-Венгрия (ныне Брно, Чехия) { 14.01.1978, Princeton (США) : 5, 69, 85, 102, 234

Гильберт Д. (David Hilbert), 23.01.1862, Konigsberg,-

Prussia (ныне Калиниград, Россия) { 14.02.1943, Gottingen- (Германия) : 5, 63, 71, 141, 190, 198

Гливенко Валерий Иванович, 02.01.1897 нов.ст., Киев (Россия, ныне Украина) { 15.02.1940, Москва (СССР, ныне Россия) : 85

Горбачёв Михаил Сергеевич, 02.03.1931, Привольное, Ставропольский край, СССР (ныне Россия) : 194

Де Морган А. (Augustus De Morgan), 27.06.1806, Madura, Madras Presidency, India (ныне Madurai, Tamil Nadu, Индия) { 18.03.1871, London (Англия) : 15, 73

Дэвис М. (Martin Davis), 1928 : 255, 271

Жегалкин Иван Иванович, 03.08.1869 нов.ст., Мценск (ныне Орловская область, Россия) { 28.03.1947, Москва (СССР, ныне Россия) : 21

Зайденберг А. (Abraham Seidenberg), 02.06.1916, Washington, D.C. (США) { 03.05.1988, Milan (Италия) : 134, 139

Кантор Г. (Georg Ferdinand Ludwig Philipp Cantor), 03.03.1845, Петербург (Россия) { 06.01.1918, Halle (Германия) : 5, 72

Кейслер Г. (Howard Jerome Keisler) : 214, 255

Кёниг Ю. (Julius Konig),- 1849, Gyor- (Венгрия) { 1913, Budapest (Венгрия) : 62

Клини С. К. (Stephen Cole Kleene), 05.01.1909, Hartford, Connecticut (США) { 25.01.1994, Madison, Wisconsin (США) : 72, 191, 198

Колмогоров Андрей Николаевич, 25.03.1903, Тамбов (Россия) { 20.10.1987, Москва (СССР, ныне Россия) : 72

Комлош (Janos Komlos, 1942) : 43 Кормен Т. (Thomas H. Cormen) : 39

Коэн П. Дж. (Paul Joseph Cohen), 02.04.1934, Long Branch, New Jersey (США) { 23.03.2007, Stanford,

California (США) : 72 Крейг (William Craig, 1918) : 21

Крипке С. (Saul Aaron Kripke), 13.11.1940, Bay Shore, New York (США) : 72, 76

Курош Александр Геннадиевич, 19.01.1908, Ярцево (около Смоленска, Россия) { 18.05.1971, Москва (СССР, ныне Россия) : 238

Лебег А. (Henri Leon Lebesgue), 28.06.1875, Beauvais, Oise, Picardie (Франция) { 26.07.1941, Paris (Франция) : 265

Лейбниц Г. В. (Gottfried Wilhelm von Leibniz), 01.07.1646, Leipzig, Saxony (ныне Германия) { 14.11.1716, Hannover (ныне Германия) : 254, 261

Лейзерсон Ч. (Charles E. Leiserson), 1953 : 39

Лёвенгейм Л. (Leopold Lowenheim),- 26.06.1878, Krefeld (Германия) { 05.05.1957, Berlin (Германия) : 116, 206

Лось (Jerzy Los), 1920 { 1978 : 213, 222, 240, 242, 251

Мальцев Анатолий Иванович, 27.11.1909, Мишеронский (около Москвы, Россия) { 07.07.1967, Новосибирск (СССР, ныне Россия) : 238

Марков Андрей Андреевич (младший), 22.09.1903 нов.ст, Петербург (Россия) { 11.10.1979, Москва (СССР, ныне Россия) : 72

Морли (Michael Darwin Morley) : 214, 216

Моцарт В. А. (Wolfgang Amade Mozart), 1756 { 1791 : 77 Ньютон И. (Sir Isaac Newton), 04.01.1643, Woolsthorpe,

Lincolnshire (Англия) { 31.03.1727, London (Англия) : 254

Пеано Дж. (Giuseppe Peano), 27.08.1858, Cuneo, Piemonte (Италия) { 20.04.1932, Turin (Италия) : 5, 234

Пост Э. (Emil Leon Post), 11.02.1897, Augustow, Россия (ныне Польша) { 21.04.1954, New York (США) : 23

Пресбургер (Mojzesz Presburger), 1904 { 1943? : 113 Пушкин Александр Сергеевич, 06.06.1799, Москва

(Россия) { 10.02.1837, Петербург (Россия) : 77 Рабин М. O. (Michael Oser Rabin), 1931, Breslau, Germany

(ныне Польша) : 226

Рассел Б. (Bertrand Arthur William Russell), 18.05.1872, Ravenscroft, Trelleck, Monmouthshire (Уэльс, Великобритания) { 02.02.1970, Penrhyndeudraeth, Merioneth (Уэльс, Великобритания) : 5

Ривест Р. (Ronald Linn Rivest), 1947, Schenectady, New York (США) : 39

Риман Г. (Georg Friedrich Bernhard Riemann), 17.09.1826, Hanover (ныне Германия) { 20.07.1866, Selasca (Италия) : 226

Робинсон А. (Abraham Robinson), 06.10.1918, Waldenburg (Германия, ныне Walbrzych, Польша) { 11.04.1974, New Haven, Connecticut (США) : 254, 255

Ролль М. (Michel Rolle), 21.04.1652, Ambert, Basse-Auvergne (Франция) { 08.11.1719, Paris (Франция) : 133, 225

Сальери А. (Antonio Salieri), 18.08.1950, Legnago, Venice (Италия) { 07.05.1825, Vienna (Австрия) : 77

Сколем Т. (Thoralf Skolem), 23.05.1887, Sandsvaer, Buskerud (Норвегия) { 23.03.1963, Oslo (Норвегия) : 116, 201, 206

Смальян Раймонд М. [Смаллиан Рэймонд М.] (Raymond Merrill Smullyan), 1919 : 102

Субботовская Белла Абрамовна, 1938 { 23.09.1982, Москва (СССР, ныне Россия) : 46

Сушко Р. (Roman Suszko), 09.11.1919, Podobora { 03.06.1979, Warsaw (Польша) : 242

Сцемереди (Endre Szemeredi), 21.08.1941, Budapest (Венгрия) : 43

Тарский А. (Alfred Tarski), 14.01.1902, Warsaw (Россия, ныне Польша) { 26.10.1983, Berkeley, California (США) : 134, 139, 234, 240, 242

Тейлор (Brook Taylor), 18.08.1685, Edmonton, Middlesex (Англия) { 29.12.1731, Somerset House, London (Англия) : 224

Тихонов Андрей Николаевич, 30.10.1906, Гжатск (ныне Гагарин Смоленской обл., Россия) { 08.11.1993, Москва (СССР, ныне Россия) : 62

Уайтхед (Alfred North Whitehead), 15.02.1861, Ramsgate, Isle of Thanet, Kent (Англия) { 30.12.1947, Cambridge, Massachusets (США) : 5

Ульман Дж. (Je¸rey D. Ullman), 22.11.1942 : 39 Успенский Владимир Андреевич, 27.11.1930 : 255, 271 Нейман Дж. (John von Neumann), 28.12.1903,

Budapest (Венгрия) { 08.02.1957, Washington, D.C. (США) : 5

Фреге (Gottlob Frege), 08.11.1848, Wismar, Mecklenburg-Schwerin (ныне Германия) { 26.08.1925, Bad Kleinen (Германия) : 5

Френкель А. А. (Adolf Abraham Halevi Fraenkel), 17.02.1891, Munich (Германия) { 15.10.1965, Jerusalem (Израиль) : 5, 92

Хопкрофт Дж. (John Edward Hopcroft), 1939 : 39

Цермело Э. (Ernst Friedrich Ferdinand Zermelo), 27.07.1871, Berlin (Германия) { 21.05.1953, Freiburg im

Breisgau (Германия) : 5, 92

Цорн М. (Max August Zorn), 06.06.1906, Krefeld

(Германия) { 09.03.1993, Bloomington, Indiana (США) : 59, 247

Чёрч А. (Alonzo Church), 14.06.1903, Washington, D.C. (США) { 11.08.1995, Hudson, Ohio (США) : 158, 202, 232

Чэн [Чжан] (Chen Chung Chang) : 214, 242

Шёнфилд Дж.(Joseph R. Shoen˛eld), 1927 { 15.11.2000, Durham, North Carolina (США) : 198

Штурм (Jacob Karl Franz Sturm), 1803 { 1855 : 134 Эрбран Ж. (Jacques Herbrand), 12.02.1908, Paris

(Франция) { 27.07.1931, La Berarde, Isere (Франция) : 196, 201

Эренфойхт А. (Andrzej Ehrenfeucht) : 143