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

Базы данных


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

Виды поиска

Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>KL=АКСИОМАТИЧЕСКАЯ АРИФМЕТИКА<.>)
Общее количество найденных документов : 2
Показаны документы с 1 по 2
1.

    Новиков, П. С.
    Элементы математической логики [Текст] : научное издание / П. С. Новиков. - 2-е изд., испр. - М. : Наука, 1973. - 399 с. ; 21 см. - 1.43 р.
ГРНТИ
УДК

Рубрики: Математика--Математическая логика

Кл.слова (ненормированные):
АКСИОМАТИЧЕСКАЯ АРИФМЕТИКА -- ТЕОРИЯ ДОКАЗАТЕЛЬСТВ -- ЛОГИКА ПРЕДИКАТОВ -- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ
Аннотация: Одной из основных задач математической логики остается анализ оснований математики.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.
Найти похожие

2.

    Новиков, П. С.
    Элементы математической логики [Текст] : научное издание / П. С. Новиков. - М. : Гос. изд-во физико-мат. лит., 1959. - 400 с. ; 21 см. - (Математическая логика и основания математики). - 11.05 р.
ГРНТИ
УДК

Рубрики: Математика--Математическая логика

Кл.слова (ненормированные):
АКСИОМАТИЧЕСКАЯ АРИФМЕТИКА -- ТЕОРИЯ ДОКАЗАТЕЛЬСТВ -- ЛОГИКА ПРЕДИКАТОВ -- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- ОСНОВАНИЯ МАТЕМАТИКИ
Аннотация: Одной из основных задач математической логики остается анализ оснований математики. В настоящей книге сделана попытка дать по возможности доступное изложение основ математической логики.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.
Найти похожие

 
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

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