Web ИРБИС


	\| начало \| написать нам \| в избранное \| сделать стартовой \|

ДЛЯ РАБОТЫ С БАЗАМИ ОГРАНИЧЕННОГО ДОСТУПА ТРЕБУЕТСЯ АВТОРИЗАЦИЯ
ДАННАЯ ВЕРСИЯ СИСТЕМЫ НЕ ПОДДЕРЖИВАЕТСЯ!!! БАЗЫ НЕ ОБНОВЛЯЮТСЯ!!! ПОЛЬЗУЙТЕСЬ НОВОЙ ВЕРСИЕЙ ПОИСКОВОЙ СИСТЕМЫ!!! >>>

Базы данных

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

Виды поиска

Электронный каталог

ЭБС "ЛАНЬ"

ЭБС "ZNANIUM.com" (ИД "ИНФРА-М")

Электронная библиотека

Известные деятели культуры в Саратовской губернии

Работы В. А. Артисевич и литература о ней

Издания вузовских библиотек Среднего и Нижнего Поволжья

Публикации учёных СГУ

Краеведческий обзор

Поступления журналов в ЗНБ СГУ

БД коллекций в фонде ЗНБ СГУ

БД выпускных квалификационных работ

Сводный каталог библиотек (СГУ, СГТУ, ЦБС)

Область поиска

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>KL=теорема Геделя<.>)

Общее количество найденных документов : 8
Показаны документы с 1 по 8

Бирюков Б. В. Жар холодных чисел и пафос бесстрастной логики. Формализация мышления от античных времен до эпохи кибернетики/Б. В. Бирюков, В. Н. Тростников. - 1977

Манин Ю. И. Доказуемое и недоказуемое/Ю. И. Манин. - 1979

Колмогоров А. Н. Математическая логика/А. Н. Колмогоров. - 1984

Успенский В.А. Теорема Геделя о неполноте/В. А. Успенский. - 1982

Манин Ю. И. Доказуемое и недоказуемое/Ю. И. Манин. - 1979

Линдон Р. Заметки по логике/Р. Линдон ; пер. с англ. Ю. А. Гастева ; ред. И. М. Яглом. - 1968

Манин Ю. И. Вычислимое и невычислимое/Ю. И. Манин. - 1980

Пенроуз Р. Новый ум короля. О компьютерах, мышлении и законах физики/Р. Пенроуз ; пер. с англ. под общ. ред. В. О. Малышенко. - 2005