Гильберт, Бернайс - Основания математики. Теория доказательств (947376), страница 140
Текст из файла (страница 140)
588 Элементарное исчисление со свободны ми переменными 462 Эндрюс (Апбгеэчз Р.) 203 Эрбран (НегЬгапб 1.) 9, 12, 14-16, 78, 202, 203, 206, 207, 211, 212, 248, 259, 265, 421, 49! Ярусы 0-арфигур 612 Яськовский (3зййоэуэЫ 5!.) 520 1-К-формула 521 — позитивно тождественная 523 1-К-Ы-формула 533 К-Ы.формула 535 к-список общих замен 638 г-кратно однородные строки замен 155 е-выражение 43 — подчиненное 44 — ранг 46 е-правило 27 в-равенство, формула 92 в-символ 27 з-теоремы, обобщение первой 54 — первая и вторая 36 — 37 †, усиленная'версия второй !79 †1 †, — — первой 109 †1 ь-правило 464 †, обобщенная версия 465 з-терм 464 — в К 580 Х-символ 559 р-символ 468 амнепротиворечивость 342 0-замена 126 0-орфигура 451, 612 — конечного спуска 622 Ь!-переменная 201 и-переменная 201 Давид Гильберг Пауль Бернайс ОСНОВАНИЯ МАТЕМАТИКИ Теория доказательств !Серик «Математическая логякв я основания математики»! Редзктор В.
В. Дая«еккл. Технический редактор С. Я. Шлляр. Корректор Н. Д Дорохова ИБ 11404 Сдано в набор 30.09.91. Подписано к еечати 14.05.32, Формат еох90'/и, Бумага тип, № ! Литературная гэркитурв. Высокая печать. Условя. веч. л, М. Уч.-язд. л 42,23 Тярвж !3000 экз. Заказ № !4О. Цеяэ 3 р.
40 к. Издательство «Наука» Главная редакция физико.математической литературы 117071, Москва, В-71, Леиииский проспект, 15 Ордена Октябрьской Революции, ордена Трудового Краевого Зввмеия Левиягредское яроизводствеяяо-техническое объединение *Печетвый Двор» вмеяи А.М. Горь. кого Союзлолягрвфпрама яри Государственном комитете СССР во делом издательств, лелигрзфии я киижиой торговли. !97136, Лекмкгрзд, П.136, Чкаловский пр, 15, Отиечвтеяо с матриц в тии. № 2 изд-яа «Неукз». Заказ № 1905 Москва, Шубиясккй пер, !О .
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
