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

Базы данных


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

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

    Grzegorczyk, A.
    An outline mathematical logic [Text] / A. Grzegorczyk. - Warszawa : Polish Sci. Publ., 1974. - 596 p. : il. - Библиогр.: с. 581-585. - б/ц р.
ББК Мт I-2

Рубрики: МАТЕМАТИКА
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА

Найти похожие
2.    А|571
   А 91

   
    Астрономия. Методология. Мировозрение [Текст] / АН СССР ; ред. В. В. Казютинский. - М. : Наука , 1979. - 397 с. : ил. - (Материалистическая диалектика - логика и методология современного естествозвания). - Библиогр. в конце ст. - 1.60 р.
ББК A I-1

Рубрики: АСТРОНОМИЯ
Кл.слова (ненормированные):
АСТРОНОМИЯ

Доп.точки доступа: Казютинский, В.В. \ред.\; АН СССР
Найти похожие
3.    Мт|1700
   И 26

    Игнатьев, Е. И.
    В царстве смекалки [Текст] / Е. И. Игнатьев ; ред. М. К. Потопов ; текстологическая обработка Ю. В. Нестеренко. - 2-е изд. - М. : Наука, 1979. - 208 с. : ил. - 0.30 р.
ББК Мт I-2

Рубрики: МАТЕМАТИКА
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- МАТЕМАТИЧЕСКИЕ ЗАДАЧИ

Доп.точки доступа: Потопов, М.К. \ред.\; Нестеренко, Ю.В. \текстологическая обработка.\
Найти похожие
4.    1|495
   С 60

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

Доп.точки доступа: Иванов, В.Г. \ред.\; АН СССР
Найти похожие
5.    Мт|116
   Ч-11

    Чёрч, А.
    Введение в математическую логику [Текст] : перевод с английского. Т. 1 / А. Чёрч ; ред. В. А. Успенский. - М. : Изд-во иностранной литературы, 1960. - 486 с. : ил. - 2.34 р.
Рубрики: МАТЕМАТИКА
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА

Доп.точки доступа: Успенский, В.А. \ред.\
Найти похожие
6.    Мт|908
   В24

    Мендельсон, Э.
    Введение в математическую логику [Текст] : перевод с английского / Э. Мендельсон; Ред. С.И. Адян. - М. : Наука, 1971. - 320 с. : ил. ; 22 см. - Библиогр.: с. 296-309. - 1.77 р.
На обороте тит. л.: Introduction to mathematical logic. By Elliott Mendelson
ББК Мт I-1.2

Рубрики: МАТЕМАТИКА
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА

Доп.точки доступа: Адян, С.И. \ред.\
Найти похожие
7.    Мт|908-2
   В24

    Мендельсон, Э.
    Введение в математическую логику [Текст] : перевод с английского / Э. Мендельсон; Ред. С.И. Адян. - М. : Наука, 1976. - 320 с. : ил. ; 22 см. - Библиогр.: с. 296-309. - 1.65 р.
ББК Мт I-1.2

Рубрики: МАТЕМАТИКА
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА

Доп.точки доступа: Адян, С.И. \ред.\
Найти похожие
8.    Ф|13142
   П 27

    Перельман, Я. И.
    Веселые задачи [Текст] / Я.И. Перельман; худ. А. Л. Бондаренко. - М. : АСТ : Астрель, 2005 . - 287 с. - (Занимательная наука ). - ISBN 5-17-020460-4 : 64.09 р.
ББК Ф I-1;076.1 + МТ I-1;076.1 + МТ I-2;076.1

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

Доп.точки доступа: Бондаренко, А.Л. \худ.\
Найти похожие
9.    Мт|2871
   Х68

    Хоар, Ч. Э.Р.
    Взаимодействующие последовательные процессы [Текст] : пер. с англ. / Ч.Э.Р. Хоар; Ред. А.П. Ершов. - М. : Мир, 1989. - 264 с. : ил. ; 21 см. - Библиогр.: с. 254 - Предм. указ.: с. 259-262. - 1.20 р.
ББК Мт IX-5.1

Рубрики: Математика
Кл.слова (ненормированные):
СИСТЕМНОЕ ПРОГРАММИРОВАНИЕ -- ТЕОРЕТИЧЕСКАЯ ИНФОРМАТИКА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА

Доп.точки доступа: Ершов, А.П. \ред.\
Найти похожие
10.    Мт IX|26
   Б 74

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

Перейти: http://www.e-heritage.ru/Book/10072037
Найти похожие
 1-10    11-20   21-30   31-40   41-50   51-60      
 
Описание ЭК
Стандартный
Расширенный
Профессиональный
По словарю