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

 
Пошук Відібрані Опис документа
Початкова сторінка Сайт УФД

22.1
Д72Драгалин, А. Г.
    Математический интуиционизм. Введение в теорию доказательств [Текст] : [монография] / А.Г. Драгалин. — М. : Наука, 1979. — 256 с.

- Ключові слова:

арифметика

- Анотація:

Приводится обзор различных концепций интуиционистской математики.

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

  • ББК // 22.12 Основи математики. Математична логіка
  • Алфавітно-предметний покажчик до ББК // Математика. Основи 22.12



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