Библиотека Российской академии наук (БАН)

Базы данных


ЭК отдела БАН при Физико-техническом институте им. А.Ф.Иоффе РАН (ФТИ) - результаты поиска

Вид поиска
Электронный каталог (ЭК) Библиотеки Российской академии наук (БАН)
ЭК изданий на восточных языках отдела литературы стран Азии и Африки (ОЛСАА)
Имидж-каталог БАН
Рукописный фонд БАН
Фонд редкой книги БАН
Газетный фонд БАН
Подносные экземпляры из библиотеки Петра I
Рукописи старообрядцев-скрытников из Каргопольского собрания
Наука в СССР в годы Великой Отечественной войны 1941 - 1945 гг.
Русские биографические и биобиблиографические словари и справочники, 1956-2000 гг.
Санкт-Петербургские ведомости (1728 - 1781)
Область поиска
в найденном
 Найдено в других БД:Электронный каталог (ЭК) Библиотеки Российской академии наук (БАН) (2713)ЭК изданий на восточных языках отдела литературы стран Азии и Африки (ОЛСАА) (6)Рукописный фонд БАН (2)ЭК отдела БАН при Главной (Пулковской) астрономической обсерватории РАН (ГАО) (5)ЭК сектора БАН при Институте прикладной астрономии РАН (ИПА) (5)ЭК отдела БАН при Санкт-Петербургском отделении Математического института им. В.А. Стеклова РАН (ПОМИ) (21)ЭК отдела БАН при Зоологическом институте РАН (ЗИН) (2)ЭК сектора БАН при Институте цитологии РАН (ИНЦ) (2)ЭК отдела БАН при Институте физиологии им.И.П.Павлова РАН (ИФП) (5)ЭК сектора БАН при Институте геологии и геохронологии докембрия РАН (ИГГД) (2)ЭК отдела БАН при Институте озероведения РАН (ИНОЗ) (8)ЭК отдела БАН при Институте истории материальной культуры РАН (ИИМК) (3)ЭК отдела БАН при Музее антропологии и этнографии им. Петра Великого (Кунсткамера) РАН (МАЭ) (10)ЭК отдела БАН при Санкт-Петербургском Институте истории РАН (СПб ИИ) (1)ЭК отдела БАН при Институте лингвистических исследований РАН (ИЛИ) (15)ЭК сектора БАН при Институте проблем региональной экономики РАН (ИПРЭ) (2)ЭК сектора БАН при Социологическом институте РАН (СИРАН) (46)ЭК отдела БАН при Институте русской литературы РАН (Пушкинский Дом) (ИРЛИ) (2)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=ЛОГИКА<.>)
Общее количество найденных документов : 93
Показаны документы с 1 по 10
 1-10    11-20   21-30   31-40   41-50   51-60      
1.ФТИ

Grzegorczyk, A.
An outline mathematical logic [Text] / A. Grzegorczyk. - Warszawa : Polish Sci. Publ., 1974. - 596 p. : il. - Библиогр.: с. 581-585
ББК Мт I-2
Рубрики: МАТЕМАТИКА
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Найти похожие
2.ФТИ

Астрономия. Методология. Мировозрение [Текст] / АН СССР ; ред. В. В. Казютинский. - М. : Наука , 1979. - 397 с. : ил. - (Материалистическая диалектика - логика и методология современного естествозвания). - Библиогр. в конце ст.
ББК A I-1
Рубрики: АСТРОНОМИЯ
Кл.слова (ненормированные):
АСТРОНОМИЯ
Доп.точки доступа: Казютинский, В.В. \ред.\; АН СССР
Найти похожие
3.ФТИ

Игнатьев, Е. И.
В царстве смекалки [Текст] / Е. И. Игнатьев ; ред. М. К. Потопов ; текстологическая обработка Ю. В. Нестеренко. - 2-е изд. - М. : Наука, 1979. - 208 с. : ил
ББК Мт I-2
Рубрики: МАТЕМАТИКА
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- МАТЕМАТИЧЕСКИЕ ЗАДАЧИ
Доп.точки доступа: Потопов, М.К. \ред.\; Нестеренко, Ю.В. \текстологическая обработка.\
Найти похожие
4.ФТИ

Солопов, Е. Ф.
Введение в диалектическую логику [Текст] / Е. Ф. Солопов ; ред. В. Г. Иванов ; АН СССР. - Л. : Наука, 1979. - 212 с.

Рубрики: Философия
Кл.слова (ненормированные):
философия -- логика
Доп.точки доступа: Иванов, В.Г. \ред.\; АН СССР
Найти похожие
5.ФТИ

Мендельсон, Э.
Введение в математическую логику [Текст] : перевод с английского / Э. Мендельсон; Ред. С.И. Адян. - М. : Наука, 1976. - 320 с. : ил. ; 22 см. - Библиогр.: с. 296-309
ББК Мт I-1.2
Рубрики: МАТЕМАТИКА
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Доп.точки доступа: Адян, С.И. \ред.\
Найти похожие
6.ФТИ

Мендельсон, Э.
Введение в математическую логику [Текст] : перевод с английского / Э. Мендельсон; Ред. С.И. Адян. - М. : Наука, 1971. - 320 с. : ил. ; 22 см. - Библиогр.: с. 296-309
На обороте тит. л.: Introduction to mathematical logic. By Elliott Mendelson
ББК Мт I-1.2
Рубрики: МАТЕМАТИКА
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Доп.точки доступа: Адян, С.И. \ред.\
Найти похожие
7.ФТИ

Чёрч, А.
Введение в математическую логику [Текст] : перевод с английского.
Т. 1 / А. Чёрч ; ред. В. А. Успенский. - М. : Изд-во иностранной литературы, 1960. - 486 с. : ил.

Рубрики: МАТЕМАТИКА
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Доп.точки доступа: Успенский, В.А. \ред.\
Найти похожие
8.ФТИ

Перельман, Я. И.
Веселые задачи [Текст] / Я.И. Перельман; худ. А. Л. Бондаренко. - М. : АСТ : Астрель, 2005 . - 287 с.. - (Занимательная наука ). - ISBN 5-17-020460-4.
ББК Ф I-1;076.1 МТ I-1;076.1 МТ I-2;076.1
Рубрики: ФИЗИКА
Кл.слова (ненормированные):
физика -- математика -- МАТЕМАТИЧЕСКАЯ ЛОГИКА
Доп.точки доступа: Бондаренко, А.Л. \худ.\
Найти похожие
9.ФТИ

Хоар, Ч. Э.Р.
Взаимодействующие последовательные процессы [Текст] : пер. с англ. / Ч.Э.Р. Хоар; Ред. А.П. Ершов. - М. : Мир, 1989. - 264 с. : ил. ; 21 см. - Библиогр.: с. 254 - Предм. указ.: с. 259-262
ББК Мт IX-5.1
Рубрики: Математика
Кл.слова (ненормированные):
СИСТЕМНОЕ ПРОГРАММИРОВАНИЕ -- ТЕОРЕТИЧЕСКАЯ ИНФОРМАТИКА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА
Доп.точки доступа: Ершов, А.П. \ред.\
Найти похожие
10.ФТИ

Богомолов, С. А.
Вопросы обоснования геометрии [Текст].
Ч. 1: Интуиция, математическая логика, идея порядка в геометрии. С прил. ст. "Философия математики в работах А. Пуанкаре" / С. А. Богомолов. - М. ; Л. : Изд-ние т-во В.В. Думнов, [1913]. - [8], 243 с. : ил.

Рубрики: Математика
Кл.слова (ненормированные):
ГЕОМЕТРИЯ -- ИСТОРИЯ ФИЛОСОФИИ -- ЛОГИКА
Перейти: http://www.e-heritage.ru/Book/10072037
Найти похожие
 1-10    11-20   21-30   31-40   41-50   51-60      
 
Описание ЭК
Стандартный
Расширенный
Профессиональный
По словарю