Библиотека института физики им. Л.В. Киренского СО РАН

Главная

Базы данных

Каталог книг и брошюр библиотеки ИФ СО РАН - результаты поиска

Вид поиска

Каталог книг и брошюр библиотеки ИФ СО РАН

Каталог журналов библиотеки ИФ СО РАН

Труды сотрудников ИФ СО РАН

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

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

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

Поисковый запрос: (<.>S=Математическая логика<.>)

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

   В1
   П 47

    Пойа, Дьердь.
    Математика и правдоподобные рассуждения . Т. 1 : Индукция и аналогия в математике ; Т. 2 : Схемы правдоподобных умозаключений. \b Т. 1\b0 : Индукция и аналогия в математике ; \b Т. 2\b0 : Схемы правдоподобных умозаключений / Дьердь Пойа ; пер. И. А. Вайнштейн, ред., авт. предисл. С. А. Яновская. - М. : Изд-во иностр. лит., 1957. - 535 с. : ил., табл. + 21 см. - Библиогр. - Пер. изд. : Mathematics and plausible reasoning / G. Polya. - Prinseton; New Jersey, 1954. - Б. ц.

ГРНТИ

27.03

ББК В12
Рубрики:
Математическая логика
Математика--Наука и философия
Творчество научное--Методы

Держатели документа:
Библиотека Института физики им. Л.В. Киренского СО РАН

Доп.точки доступа:
Вайнштейн, И. А. \пер.\; Яновская, С. А. \ред. пер., авт. предисл.\; Polya, G.
Экземпляры всего: 1
КФ (1)
Свободны: КФ (1)}
Найти похожие

   В1
   Р 58

    Робинсон, Авраам.
    Введение в теорию моделей и метаматематику алгебры : пер. с англ. / А. Робинсон ; пер. А. Б. Волынский ; ред., авт. предисл. А. Д. Тайманов. - М. : Наука, 1967. - 376 с. - (Математическая логика и основания математики). - Библиогр.: с. 356-372. - Указ.: с. 373-376. - Пер. изд. : Introduction to model theory and to the metamathematics of algebra / A. Robinson. - Amsterdam, 1963. - 1.65 р.

ГРНТИ

ББК В12
Рубрики:
Математическая логика

Доп.точки доступа:
Волынский, А. Б. \пер.\; Тайманов, А. Д. \ред., авт. предисл.\; Robinson, Abraham.
Экземпляры всего: 1
КФ (1)
Свободны: КФ (1)}
Найти похожие

   В1
   П 47

    Пойа, Дьердь.
    Математика и правдоподобные рассуждения . Т. 1 : Индукция и аналогия в математике ; Т. 2 : Схемы правдоподобных умозаключений. \b Т. 1\b0 : Индукция и аналогия в математике ; \b Т. 2\b0 : Схемы правдоподобных умозаключений / Дьердь Пойа ; пер. И. А. Вайнштейн, ред. пер, авт. предисл. С. А. Яновская. - 2-е изд., испр. - М. : Наука, 1975. - 463 с. : ил., табл. - Пер. изд. : Mathematics and plausible reasoning. - 1954. - 1.71 р.

ГРНТИ

27.03

ББК В12
Рубрики:
Математическая логика
Математика--Наука и философия
Творчество научное--Методы

Держатели документа:
Библиотека Института физики им. Л.В. Киренского СО РАН

Доп.точки доступа:
Вайнштейн, И. А. \пер.\; Яновская, С. А. \ред. пер, авт. предисл.\
Экземпляры всего: 1
КФ (1)
Свободных экз. нет}
Найти похожие

Тематический навигатор

Другие библиотеки

Центральная Научная Библиотека КНЦ СО РАН

Библиотека института биофизики

Библиотека института химии и химический технологии

Библиотека института вычислительного моделирования

Библиотека института леса

Библиотека СФУ

Краевая научная библиотека

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)