Каталог печатных изданий библиотеки НИУ ВШЭ

eng|rus
Пожалуйста, бронируйте контрольные экземпляры только тех книг, которых нет
в наличии ни в читальных залах, ни в открытом доступе, ни на научном абонементе.
По вопросам доступа к электронному каталогу обращайтесь в
отдел информационных систем и электронных ресурсов Библиотеки

Поиск :

  • Новые поступления
  • Простой поиск
  • Расширенный поиск
  • Авторы
  • Издательства
  • Серии
  • Тезаурус (Рубрики)
  • Электронный каталог Мандельштамовского центра
  • Помощь

Личный кабинет :


Электронный каталог: Справочник серий издательств

К списку серий

Сер. "Математическая логика и основания математики"

Издательства: Наука. Гл. ред. физ.-мат. лит., М.

Связанные описания:

Отобрать для печати: страницу | инверсия | сброс | печать(0)
Основания математики
Доступно
 1 из 1
Книга
Гильберт, Д.
Основания математики: логические исчисления и формализация арифметики
Серия: Сер. "Математическая логика и основания математики"
Наука. Гл. ред. физ.-мат. лит., 1979 г.
ISBN отсутствует


Заказать Заказать

На полку На полку

Основания математики
Доступно
 1 из 4
Книга
Гильберт, Д.
Основания математики : логические исчисления и формализация арифметики
Серия: Сер. "Математическая логика и основания математики"
Наука. Гл. ред. физ.-мат. лит., 1982 г.
ISBN отсутствует


Заказать Заказать

На полку На полку

Теория алгорифмов
Доступно
 1 из 2
Книга
Марков, А. А.
Теория алгорифмов
Серия: Сер. "Математическая логика и основания математики"
Наука. Гл. ред. физ.-мат. лит., 1984 г.
ISBN отсутствует


Заказать Заказать

На полку На полку

Введение в теорию моделей и метаматиматику алгебры
Доступно
 1 из 1
Книга
Робинсон, А.
Введение в теорию моделей и метаматиматику алгебры
Серия: Сер. "Математическая логика и основания математики"
Наука. Гл. ред. физ.-мат. лит., 1967 г.
ISBN отсутствует


Заказать Заказать

На полку На полку

Математическая логика и автоматическое доказательство теорем
Доступно
 1 из 2
Книга
Чень, Ч.
Математическая логика и автоматическое доказательство теорем
Серия: Сер. "Математическая логика и основания математики"
Наука. Гл. ред. физ.-мат. лит., 1983 г.
ISBN отсутствует


Заказать Заказать

На полку На полку

Степени неразрешимости
Доступно
 1 из 2
Книга
Шенфилд, Дж.
Степени неразрешимости
Серия: Сер. "Математическая логика и основания математики"
Наука. Гл. ред. физ.-мат. лит., 1977 г.
ISBN отсутствует


Заказать Заказать

На полку На полку

Основания интуиционистской математики
Доступно
 1 из 3
Книга
Клини, С.
Основания интуиционистской математики: с точки зрения теории рекурсивных функций
Серия: Сер. "Математическая логика и основания математики"
Наука. Гл. ред. физ.-мат. лит., 1978 г.
ISBN отсутствует


Заказать Заказать

На полку На полку

Конструктивная математическая логика с точки зрения классической
Доступно
 1 из 2
Книга
Новиков, П. С.
Конструктивная математическая логика с точки зрения классической
Серия: Сер. "Математическая логика и основания математики"
Наука. Гл. ред. физ.-мат. лит., 1977 г.
ISBN отсутствует


Заказать Заказать

На полку На полку

Рекурсивный математический анализ
Доступно
 1 из 2
Книга
Гудстейн, Р. Л.
Рекурсивный математический анализ
Серия: Сер. "Математическая логика и основания математики"
Наука. Гл. ред. физ.-мат. лит., 1970 г.
ISBN отсутствует


Заказать Заказать

На полку На полку

Теория нумераций
Доступно
 1 из 2
Книга
Ершов, Ю. Л.
Теория нумераций
Серия: Сер. "Математическая логика и основания математики"
Наука. Гл. ред. физ.-мат. лит., 1977 г.
ISBN отсутствует


Заказать Заказать

На полку На полку

Функции алгебры логики и классы Поста
Доступно
 1 из 3
Книга
Яблонский, С. В.
Функции алгебры логики и классы Поста
Серия: Сер. "Математическая логика и основания математики"
Наука. Гл. ред. физ.-мат. лит., 1966 г.
ISBN отсутствует


Заказать Заказать

На полку На полку

Основания математики: теория доказательств
Доступно
 1 из 2
Книга
Гильберт, Д.
Основания математики: теория доказательств
Серия: Сер. "Математическая логика и основания математики"
Наука. Гл. ред. физ.-мат. лит., 1982 г.
ISBN отсутствует


Заказать Заказать

На полку На полку

Математическая теория логического вывода
Доступно
 1 из 1
Книга

 Математическая теория логического вывода: сб. переводов
Серия: Сер. "Математическая логика и основания математики"
Наука. Гл. ред. физ.-мат. лит., 1967 г.
ISBN отсутствует


Заказать Заказать

На полку На полку

Лекции по конструктивному математическому анализу
Доступно
 1 из 3
Книга
Кушнер, Б. А.
Лекции по конструктивному математическому анализу
Серия: Сер. "Математическая логика и основания математики"
Наука. Гл. ред. физ.-мат. лит., 1973 г.
ISBN отсутствует


Заказать Заказать

На полку На полку

Элементы математической логики
Доступно
 1 из 4
Книга
Новиков, П. С.
Элементы математической логики
Серия: Сер. "Математическая логика и основания математики"
Наука. Гл. ред. физ.-мат. лит., 1973 г.
ISBN отсутствует


Заказать Заказать

На полку На полку

Модальная логика
Доступно
 1 из 2
Книга
Фейс, Р.
Модальная логика
Серия: Сер. "Математическая логика и основания математики"
Наука. Гл. ред. физ.-мат. лит., 1974 г.
ISBN отсутствует


Заказать Заказать

На полку На полку

Математическая логика
Доступно
 1 из 2
Книга
Шенфилд, Дж.
Математическая логика
Серия: Сер. "Математическая логика и основания математики"
Наука. Гл. ред. физ.-мат. лит., 1975 г.
ISBN отсутствует


Заказать Заказать

На полку На полку