| начало | написать нам | в избранное | сделать стартовой |
ДЛЯ РАБОТЫ С БАЗАМИ ОГРАНИЧЕННОГО ДОСТУПА ТРЕБУЕТСЯ АВТОРИЗАЦИЯ
ДАННАЯ ВЕРСИЯ СИСТЕМЫ НЕ ПОДДЕРЖИВАЕТСЯ!!! БАЗЫ НЕ ОБНОВЛЯЮТСЯ!!! ПОЛЬЗУЙТЕСЬ НОВОЙ ВЕРСИЕЙ ПОИСКОВОЙ СИСТЕМЫ!!! >>>

Базы данных


Сводный каталог библиотек (СГУ, СГТУ, ЦБС) - результаты поиска

Виды поиска

Область поиска
В текущей базе данных найдено документов :11
 В других БД по вашему запросу найдено:Электронный каталог (1)
Формат представления найденных документов:
полныйинформационный краткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>KL=основания математики<.>)
Общее количество найденных документов : 11
Показаны документы с 1 по 11
1.

Sieber N. Grundlagen der Mathematik, Abbildungen, Funktionen, Folgen/Norbert Sieber, H. Sebastian, G. Zeidler. - 1990
2.

Гончаров С. С. Введение в логику и методологию науки/С. С. Гончаров, Ю. Л. Ершов, К. Ф. Самохвалов. - 1994
3.

Волков В. А. Элементы теории множеств и развитие понятия числа/В. А. Волков. - 1978
4.

Гильберт Д. Основания математики/Д. Гильберт ; ред. С. И. Адян. - 1982
5.

Кановей В. Г. Аксиома выбора и аксиома детерминированности/В. Г. Кановей. - 1984
6.

Новиков П. С. Элементы математической логики/П. С. Новиков. - 1959
7.

Вопенка П. Математика в альтернативной теории множеств/П. Вопенка ; ред.: А. Н. Колмогоров, С. П. Новиков. - 1983
8.

Гильберт Давид Основания математики/Д. Гильберт, П. Бернайс. - 1982
9.

Загоруйко Н. Г. Алгоритмы обнаружения эмпирических закономерностей/Н. Г. Загоруйко, В. Н. Елкина, Г. С. Лбов ; ред. В. А. Скоробогатов. - 1985
10.

Заварыкин В. М. Техника вычислений и алгоритмизация/В. М. Заварыкин, В. Г. Житомирский, М. П. Лапчик. - 1987
11.

Энгелер Э. Метаматематика элементарной математики/Э. Энгелер. - 1987
 
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

Возникли проблемы? Пишите на oma@info.sgu.ru
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)