Главная Упрощенный режим Описание
Авторизация
Фамилия
Пароль
 

Базы данных


Сводный каталог муниципальных библиотек- результаты поиска

Вид поиска
Каталог книг библиотек Ленинского района
Каталог периодики библиотек Ленинского района
Каталог редких книг библиотек Ленинского района
Сводный каталог муниципальных библиотек
Библиотека электронных книг ЛИТРЕС
БД мероприятий
Область поиска
в найденном
 Найдено в других БД:Каталог книг библиотек Ленинского района (10)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>S=Математическая логика<.>)
Общее количество найденных документов : 23
Показаны документы с 1 по 10
 1-10    11-20   21-23 
1.
   22.1
   А 45

   
    Алгоритмика: 5-7кл. [Текст] : учебник для общеобразовательных учеб.заведений. - 2-е изд. - Москва : Дрофа, 1997. - 299 с. : ил. - (в пер.) : 20.00 р.
ББК 22.12
Рубрики: Математическая логика

Экземпляры всего: 1
08-Ф03ДС (1) -
Свободны: 08-Ф03ДС (1)
Найти похожие
2.
   22.1
   В 44

    Виленкин, Наум Яковлевич.
    В поисках бесконечности / Н. Я. Виленкин ; Академия наук СССР. - Москва : Наука, 1983. - 160 с. : ил. - (Наука и технический прогресс). - 0.55 р.
ББК 22.12
Рубрики: Математическая логика
   Логика--Математическая


Доп.точки доступа:
Академия наук СССР
Экземпляры всего: 3
06-Ф.1 (1) - , 08-Ф02АБ (1) - , 03-Ф7 (1) -
Свободны: 06-Ф.1 (1), 08-Ф02АБ (1), 03-Ф7 (1)
Найти похожие
3.
   22.12
   К 608

    Колмогоров, Андрей Николаевич.
    Введение в математическую логику : учеб. пособие для вузов / А. Н. Колмогоров, А. Г. Драгалин. - Москва : Издательство Московского университета, 1982. - 120 с. - 0.25 р.
ББК 22.12
Рубрики: Математическая логика


Доп.точки доступа:
Драгалин, Альберт Григорьевич
Экземпляры всего: 1
06-АБ (1) -
Свободны: 06-АБ (1)
Найти похожие
4.
   22.12
   М 501

    Мендельсон, Эллиот.
    Введение в математическую логику / Э. Мендельсон ; перевод с английского Ф. А. Кабаков ; редактор С. И. Адян. - 2-е изд., испр. - Москва : Наука, 1976. - 320 с. - 1.65 р.
ББК 22.12
Рубрики: Математическая логика


Доп.точки доступа:
Кабаков, Ф. А. \перевод с английского.\; Адян, С. И. \редактор.\
Экземпляры всего: 1
06-АБ (1) -
Свободны: 06-АБ (1)
Найти похожие
5.
   22.1
   М 23

    Манин, Юрий Иванович.
    Доказуемое и недоказуемое / Ю. И. Манин. - Москва : Советское радио, 1979. - 167 с. - (Кибернетика). - 0.60 р.
ББК 22.12
Рубрики: Математическая логика

Экземпляры всего: 1
03-АБ (1) -
Свободны: 03-АБ (1)
Найти похожие
6.
   22.12
   Л 136

    Лавров, Игорь Андреевич.
    Задачи по теории множеств, математической логике и теории алгоритмов / И. А. Лавров, Л. Л. Максимова. - Москва : Наука, 1975. - 240 с. - 0.90 р.
ББК 22.12
Рубрики: Математическая логика


Доп.точки доступа:
Максимова, Лариса Львовна
Экземпляры всего: 1
06-АБ (1) -
Свободны: 06-АБ (1)
Найти похожие
7.
   22.1
   Л 65

    Лихтарников, Леонид Моисеевич.
    Занимательные логические задачи : для учащихся начальной школы / Л. М. Лихтарников. - Санкт-Петербург : Лань : МИК, 1997. - 125 с. : ил. - ISBN 5-86617-029-9 : 20.00 р.
ББК 22.1
Рубрики: Математика--Задачи
   Математическая логика

Экземпляры всего: 1
11-Ф5 (1) -
Свободны: 11-Ф5 (1)
Найти похожие
8.
   22.1
   М 87

    Мощенский, В. А.
    Лекции по математической логике [Текст] : учебное пособие для вузов / В. А. Мощенский. - Минск : Белорусский государственный университет, 1973. - 160 с. - 0.30 р.
ББК 22.12
Рубрики: Математика--Логика
   Математическая логика

Экземпляры всего: 1
08-Ф04АБ (1) -
Свободны: 08-Ф04АБ (1)
Найти похожие
9.
6+
   22.1
   К 72

    Костюков, Леонид Владимирович.
    Логика: доказательство и мышление : занимательная математика / Л. В. Костюков. - Москва : ОЛМА Медиа Групп, 2014. - 127 с. - (Занимательная наука). - ISBN 978-5-373-06766-9 (в пер.) : 201.19 р.
ББК 22.1я92
Рубрики: Математика занимательная
   Математическая логика

Экземпляры всего: 6
03-Ф1-ДО (1) - , 03-Ф2-ДО (1) - , 03-Ф3 (1) - , 03-Ф4 (1) - , 03-Ф5 (1) - , 03-Ф7-ДО (1) -
Свободны: 03-Ф1-ДО (1), 03-Ф2-ДО (1), 03-Ф3 (1), 03-Ф4 (1), 03-Ф5 (1), 03-Ф7-ДО (1)
Найти похожие
10.
   22.12
   Ш 477

    Шенфилд, Джозеф Р..
    Математическая логика / Д. Р. Шенфилд ; пер. с англ.: И. А. Лавров, И. А. Мальцев ; ред. Ю. Л. Ершов. - Москва : Наука, 1975. - 527 с. - 80.00 р., 2.16 р.
ББК 22.12
Рубрики: Математическая логика


Доп.точки доступа:
Лавров, И. А. \пер. с англ.\; Мальцев, И. А. \пер. с англ.\; Ершов, Ю. Л. \ред.\
Экземпляры всего: 3
09-ф2 (1) - , 06-АБ (2) -
Свободны: 09-ф2 (1), 06-АБ (2)
Найти похожие
 1-10    11-20   21-23 
 
Стандартный
По словарю
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)