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

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

НАБЛакатос, И.
    Процедуры доказательства в современном математическом анализе [Текст] / И. Лакатос // Вопр. философии : науч.-теорет. журн. — М. : Наука, 2009. — № 4. — 97-100.

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

Математична логіка, математическая логика ; Докази в математиці

- Є складовою частиною документа:

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

  • Персоналії // "Доказательства и опровержения. Как доказываются теоремы"
  • ББК // Логіка
  • Персоналії // Нейман Дж. фон



Наявність
Установа Кількість Документ на сайті установи
Бібліотека Харківської державної академії культури   Перейти на сайт