Поиск :
Личный кабинет :
Электронный каталог: Лакатос, Имре - Доказательства и опровержения: как доказываются теоремы
Лакатос, Имре - Доказательства и опровержения: как доказываются теоремы
Доступно
1 из 1
1 из 1
Книга
Автор: Лакатос, Имре
Доказательства и опровержения: как доказываются теоремы
Издательство: Наука, 1967 г.
ISBN отсутствует
Автор: Лакатос, Имре
Доказательства и опровержения: как доказываются теоремы
Издательство: Наука, 1967 г.
ISBN отсутствует
Книга
С14 Л-19
Лакатос, Имре.
Доказательства и опровержения: как доказываются теоремы / Имре Лакатос ; Пер. с англ.: И.Н.Веселовский. – М. : Наука, 1967. – 151 с. : ил. – Библиогр.:с.146-151.
С14
Индексный (книги) = С 14 - Математическая логика. Теория математических доказательств.Аксиоматика математической логики.Исчисления высказываний,исчисление предикатов.Теория алгоритмов, рекурсивные функции.Конструктивный анализ
Ключевых слов = математическая логика
Ключевых слов = теорема Эйлера о многогранниках
С14 Л-19
Лакатос, Имре.
Доказательства и опровержения: как доказываются теоремы / Имре Лакатос ; Пер. с англ.: И.Н.Веселовский. – М. : Наука, 1967. – 151 с. : ил. – Библиогр.:с.146-151.
С14
Индексный (книги) = С 14 - Математическая логика. Теория математических доказательств.Аксиоматика математической логики.Исчисления высказываний,исчисление предикатов.Теория алгоритмов, рекурсивные функции.Конструктивный анализ
Ключевых слов = математическая логика
Ключевых слов = теорема Эйлера о многогранниках
Филиал | Фонд | Всего | Доступно для брони | Доступно для выдачи | Бронирование |
---|---|---|---|---|---|
ЦБ | 1 | 1 | 1 | Заказать |