Главная
Авторизация
Фамилия
Пароль
Регистрация
Библиотека института физики им. Л.В. Киренского СО РАН
Базы данных
Каталог книг и брошюр библиотеки ИФ СО РАН - результаты поиска
Вид поиска
Каталог книг и брошюр библиотеки ИФ СО РАН
Каталог журналов библиотеки ИФ СО РАН
Труды сотрудников ИФ СО РАН
Область поиска
Ключевые слова
Автор
Заглавие
Год издания
в найденном
Формат представления найденных документов:
полный
информационный
краткий
Отсортировать найденные документы по:
автору
заглавию
году издания
типу документа
Поисковый запрос:
(<.>S=Математическая логика<.>)
Общее количество найденных документов
:
3
Показаны документы
с 1 по 3
1.
В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)}
Найти похожие
2.
В1
Р 58
Робинсон, Авраам
.
Введение в теорию моделей и метаматематику алгебры : пер. с англ. / А. Робинсон ; пер. А. Б. Волынский ; ред., авт. предисл. А. Д. Тайманов. - М. : Наука, 1967. - 376 с. - (
Математическая
логика
и основания математики). - Библиогр.: с. 356-372. - Указ.: с. 373-376. -
Пер. изд. :
Introduction to model theory and to the metamathematics of algebra / A. Robinson. - Amsterdam, 1963. - 1.65 р.
ГРНТИ
27
ББК
В12
Рубрики:
Математическая
логика
Доп.точки доступа:
Волынский, А. Б. \пер.\; Тайманов, А. Д. \ред., авт. предисл.\; Robinson, Abraham.
Экземпляры всего:
1
КФ (1)
Свободны:
КФ (1)}
Найти похожие
3.
В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)
Свободных экз. нет
}
Найти похожие
полный формат
краткий формат
все найденные
отмеченные
кроме отмеченных
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
Тематический навигатор
Другие библиотеки
Центральная Научная Библиотека КНЦ СО РАН
Библиотека института биофизики
Библиотека института химии и химический технологии
Библиотека института вычислительного моделирования
Библиотека института леса
Библиотека СФУ
Краевая научная библиотека
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)