Зведений каталог бібліотек Тернополя

 

22.12
Т15Такеути, Г.
    Теория доказательств [Текст] = Proof Theory / пер. с англ. С. К. Соболева ; под ред. С. И. Адяна. — М. : Мир, 1978. — 413 с.


- Теми документа

  • ББК // 22.12 Основи математики. Математична логіка
  • УДК // АНАЛІЗ
  • Алфавітно-предметний покажчик до ББК // Математична логіка 22.122
  • Алфавітно-предметний покажчик до ББК // Основи математики 22.121



Наявність
Установа Кількість Документ на сайті установи
Наукова бібліотека Тернопільського національного педагогічного університету імені Володимира Гнатюка 2 Перейти на сайт