Поиск :
Личный кабинет :
Электронный каталог: Справочник индексов УДК
К списку индексов УДК
510.2
Сортировать по: заглавиюдате издания
Книга
Заславский, И. Д.
Симметрическая конструктивная логика
АН Армянской ССР, 1978 г.
ISBN отсутствует
/ : Промышленная, 17
Заславский, И. Д.
Симметрическая конструктивная логика
АН Армянской ССР, 1978 г.
ISBN отсутствует
/ : Промышленная, 17
На полку
Книга
Исследования по конструктивной математике и математической логике. I: сборник работ
Вычислительный центр АН СССР, 1967 г.
ISBN отсутствует
/ : Промышленная, 17
Исследования по конструктивной математике и математической логике. I: сборник работ
Вычислительный центр АН СССР, 1967 г.
ISBN отсутствует
/ : Промышленная, 17
Книга
Гейтинг, А.
Интуиционизм
Intuitionism: an introduction
Мир, 1956 г.
ISBN отсутствует
/ : Промышленная, 17
Гейтинг, А.
Интуиционизм
Intuitionism: an introduction
Мир, 1956 г.
ISBN отсутствует
/ : Промышленная, 17
Книга
Йех, Т.
Теория множеств и метод форсинга
Lectures in set theory with particular emphasis on the method of forcing
Мир, 1973 г.
ISBN отсутствует
/ : Промышленная, 17
Йех, Т.
Теория множеств и метод форсинга
Lectures in set theory with particular emphasis on the method of forcing
Мир, 1973 г.
ISBN отсутствует
/ : Промышленная, 17
Книга
Мартин-Лёф, П.
Очерки по конструктивной математике
Notes on constructive mathematics
Мир, 1975 г.
ISBN отсутствует
/ : Промышленная, 17
Мартин-Лёф, П.
Очерки по конструктивной математике
Notes on constructive mathematics
Мир, 1975 г.
ISBN отсутствует
/ : Промышленная, 17
Книга
Коэн, П. Дж.
Теория множеств и континуум-гипотеза
Set theory and the continuum hypothesis
Мир, 1969 г.
ISBN отсутствует
/ : Промышленная, 17
Коэн, П. Дж.
Теория множеств и континуум-гипотеза
Set theory and the continuum hypothesis
Мир, 1969 г.
ISBN отсутствует
/ : Промышленная, 17
Книга
Кушнер, Б. А.
Лекции по конструктивному математическому анализу
Наука, 1973 г.
ISBN отсутствует
/ : Промышленная, 17
Кушнер, Б. А.
Лекции по конструктивному математическому анализу
Наука, 1973 г.
ISBN отсутствует
/ : Промышленная, 17
Книга
Исследования по конструктивной математике и математической логике. IV: Сборник работ
Наука - Ленинградское отделение, 1971 г.
ISBN отсутствует
/ : Промышленная, 17
Исследования по конструктивной математике и математической логике. IV: Сборник работ
Наука - Ленинградское отделение, 1971 г.
ISBN отсутствует
/ : Промышленная, 17
Книга
Проблемы конструктивного направления в математике. 3: сборник
Наука - Ленинградское отделение, 1964 г.
ISBN отсутствует
/ : Промышленная, 17
Проблемы конструктивного направления в математике. 3: сборник
Наука - Ленинградское отделение, 1964 г.
ISBN отсутствует
/ : Промышленная, 17
Книга
Новиков, П. С.
Конструктивная математическая логика с точки зрения классической
Наука, 1977 г.
ISBN отсутствует
/ : Промышленная, 17
Новиков, П. С.
Конструктивная математическая логика с точки зрения классической
Наука, 1977 г.
ISBN отсутствует
/ : Промышленная, 17
Книга
Пойа, Д.
Математика и правдоподобные рассуждения. (Т. 1: Индукция и аналогия в математике; Т. 2: Схемы пра...
Mathematics and plausible reasoning
Издательство иностранной литературы, 1957 г.
ISBN отсутствует
/ : Промышленная, 17
Пойа, Д.
Математика и правдоподобные рассуждения. (Т. 1: Индукция и аналогия в математике; Т. 2: Схемы пра...
Mathematics and plausible reasoning
Издательство иностранной литературы, 1957 г.
ISBN отсутствует
/ : Промышленная, 17
Книга
Математическая логика, теория алгоритмов и теория множеств
Наука, 1973 г.
ISBN отсутствует
/ : Промышленная, 17
Математическая логика, теория алгоритмов и теория множеств
Наука, 1973 г.
ISBN отсутствует
/ : Промышленная, 17
Книга
Проблемы конструктивного направления в математике. 4: Сборник работ
Наука - Ленинградское отделение, 1967 г.
ISBN отсутствует
/ : Промышленная, 17
Проблемы конструктивного направления в математике. 4: Сборник работ
Наука - Ленинградское отделение, 1967 г.
ISBN отсутствует
/ : Промышленная, 17
Книга
Математические вопросы кибернетики и вычислительной техники. Конструктивная математика
АН Армянской ССР, 1975 г.
ISBN отсутствует
/ : Промышленная, 17
Математические вопросы кибернетики и вычислительной техники. Конструктивная математика
АН Армянской ССР, 1975 г.
ISBN отсутствует
/ : Промышленная, 17
Книга
Лавров, И. А.
Задачи по теории множеств, математической логике и теории алгоритмов
Наука, 1975 г.
ISBN отсутствует
/ : Промышленная, 17
Лавров, И. А.
Задачи по теории множеств, математической логике и теории алгоритмов
Наука, 1975 г.
ISBN отсутствует
/ : Промышленная, 17
Книга
Гейтинг, А.
Обзор исследований по основаниям математики. Интуиционизм - теория доказательства
ОНТИ НКТП СССР, 1936 г.
ISBN отсутствует
/ : Промышленная, 17
Гейтинг, А.
Обзор исследований по основаниям математики. Интуиционизм - теория доказательства
ОНТИ НКТП СССР, 1936 г.
ISBN отсутствует
/ : Промышленная, 17
Книга
Исследования по конструктивной математике и математической логике. VIII: Сборник работ
Наука - Ленинградское отделение, 1979 г.
ISBN отсутствует
/ : Промышленная, 17
Исследования по конструктивной математике и математической логике. VIII: Сборник работ
Наука - Ленинградское отделение, 1979 г.
ISBN отсутствует
/ : Промышленная, 17
Книга
Гладкий, А. В.
Элементы теории множеств: Учебное пособие
Калининский государственный университет, 1977 г.
ISBN отсутствует
/ : Промышленная, 17
Гладкий, А. В.
Элементы теории множеств: Учебное пособие
Калининский государственный университет, 1977 г.
ISBN отсутствует
/ : Промышленная, 17