850 results Пропуск в контексте
Электронный каталог
Национальной библиотеки
Беларуси
  • Вход
  • Язык
    • Русский
    • Белорусский
    • English
    • Deutsch
    • Español
    • Français
    • 中文(繁體)
    • Polski
Расширенный поиск
Расширенный поиск
  • Поиск: "МАТЕМАТИЧЕСКАЯ ЛОГИКА"
Отображение 61 - 80 из 850 для поиска: '"МАТЕМАТИЧЕСКАЯ ЛОГИКА"', время запроса: 0.65сек.
   Выбранные записи:
Значок книги
Язык логики / Перевод с англ. Ю. А. Петрова. Под ред. Ю. А. Гастева. - М. : Наука, 1969. - 135 с.
Автор Фройденталь, Г.
Предмет: '; “...Математическая логика...”
Книги
Добавить в Избранное
Сохранено в:
Значок книги
Элементы математической логики: Пособие для учащихся 9-10-х кл. / А. Д. Кутасов. - М. : Просвещение, 1977. - 63 с.
Автор Кутасов, А. Д.
Предмет: '; “...Математическая логика...”
Книги
Добавить в Избранное
Сохранено в:
Значок книги
Доказательства и опровержения: Как доказываются теоремы / АН СССР. - М. : Наука, 1967. - 152 с.
Автор Лакатос, И.
Предмет: '; “...Математическая логика...”
Книги
Добавить в Избранное
Сохранено в:
Значок книги
Справочная книга по математической логике / под редакцией Дж. Барвайса / Handbook of mathematical logic. Ч. 1 : Теория моделей / [Дж. Барвайс, Х. Дж. Кейслер, П. Эклоф и др.]. — 1982. — 392 с.
Предмет: '; “...Математическая логика...”
Книги
Добавить в Избранное
Сохранено в:
Структура документа
Значок книги
Введение в математическую логику / Перевод с англ. Ф. А. Кабакова; Под ред. С. И. Адяна. - 3-е изд. - М. : Наука, 1984. - 319 с.
Автор Мендельсон, Э.
Предмет: '; “...Математическая логика...”
Книги
Добавить в Избранное
Сохранено в:
Значок книги
VII Всесоюзная конференция по математической логике, посвященная 75-летию академика А. И. Мальцева, Новосибирск, 5-7 сентября 1984 г.: Тез. докл. - Новосибирск, 1984. - 205 с.
Автор Всесоюзная конф. по мат. логике, 7-я. Новосибирск. 1984
Предмет: '; “...Математическая логика...”
Книги
Добавить в Избранное
Сохранено в:
Значок книги
Элементы математической логики: Учеб. пособие [для пед. ин-тов по спец. № 2104 «Математика»]. - Кишинев : КПИ, 1985. - 39 с.
Автор Харитон, А. З.
Предмет: '; “...Математическая логика...”
Книги
Добавить в Избранное
Сохранено в:
Значок книги
Пропозициональная логика с дополнительными операторами. - Препринт. - М., 1981. - 28 с.
Автор Варданян, В. А.
Предмет: '; “...Математическая логика...”
Книги
Добавить в Избранное
Сохранено в:
Значок книги
Лекции по математической логике: Учеб. пособие / Горьков. гос. ун-т им. Н. И. Лобачевского. - Горький : [Б. и.], 1973. - 58 с.
Автор Марков, А. А.
Предмет: '; “...Математическая логика...”
Книги
Добавить в Избранное
Сохранено в:
Значок книги
Теория алгоритмов и дедуктивные теории: Учеб. пособие / Ш. И. Галиев. - Казань : КАИ, 1977. - 92 с.
Автор Галиев, Ш. И.
Предмет: '; “...Математическая логика...”
Книги
Добавить в Избранное
Сохранено в:
Значок книги
Элементы математической логики. Алгебра логики: (Для студентов специальности 0606) / М-во высш. и сред. спец. образования РСФСР. Новосиб. электротехн. ин-т. - Новосибирск, 1968. - 89 с.
Автор Гянджа, Л. И.
Предмет: '; “...Математическая логика...”
Книги
Добавить в Избранное
Сохранено в:
Значок книги
Математическая логика / Г. П. Гаврилов. - М. : Изд-во Моск. ун-та, 1976. - 74 с.
Автор Гаврилов, Г. П.
Предмет: '; “...Математическая логика...”
Книги
Добавить в Избранное
Сохранено в:
Значок книги
Непрерывная логика. Теория и применения / АН Эстонии. - Таллинн : [Б. и.], 1990. - 210 с.
Автор Волгин, Л. И.
Предмет: '; “...Математическая логика...”
Книги
Добавить в Избранное
Сохранено в:
Значок книги
Математическая логика / Перевод с англ. Ю. А. Гастева. Под ред. Г. Е. Минца. - М. : Мир, 1973. - 480 с.
Автор Клини, С. К.
Предмет: '; “...Математическая логика...”
Книги
Добавить в Избранное
Сохранено в:
Значок книги
Заметки по логике / Перевод с англ. [и предисл.] Ю. А. Гастева. Под ред. И. М. Яглома. - М. : Мир, 1968. - 128 с. - (Соврем. математика. Попул. серия)
Автор Линдон, Р. К.
Предмет: '; “...Математическая логика...”
Книги
Добавить в Избранное
Сохранено в:
Значок книги
Некоторые классы промежуточных логик. - М., 1981. - 28 с. - (Препринт ; № 160)
Автор Захарьящев, М. В.
Предмет: '; “...Математическая логика...”
Книги
Добавить в Избранное
Сохранено в:
Значок книги
Элементы математической логики: Пособие по математике для студентов-иностранцев. - М. : Изд-во МГУ, 1979. - 61 с.
Автор Лазарева, Е. А.
Предмет: '; “...Математическая логика...”
Книги
Добавить в Избранное
Сохранено в:
Значок книги
Элементы логики высказываний: Учеб. материалы для учащихся 9-х кл. с углубл. изучением гуманит. предметов / Акад. пед. наук СССР. Науч.-исслед. ин-т общей педагогики. - М., 1971. - 74 с.
Автор Лис, В. Е.
Предмет: '; “...Математическая логика...”
Книги
Добавить в Избранное
Сохранено в:
Значок книги
Что такое математическая логика. - М. : Наука, 1964. - 151 с.
Автор Калужнин, Л. А.
Предмет: '; “...Математическая логика...”
Книги
Добавить в Избранное
Сохранено в:
Значок книги
Что такое математическая логика. - Киев, 1961. - 40 с. - (Серия 6 ; № 12)
Автор Калужнин, Л. А.
Предмет: '; “...Математическая логика...”
Книги
Добавить в Избранное
Сохранено в:
   Выбранные записи:
  • [1]
  • « Пред.
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • Следующий »
  • [43]
Инструменты поиска: RSS-поток — Отправить результаты поиска по Email — Сохранить запрос

Уточнение результатов поиска

Вид документа
637 Книги 162 Авторефераты диссертаций 27 Продолжающиеся издания 15 Диссертации 4 Периодические издания 3 Статьи больше ... 2 Редкие/старопечатные издания см. все ... меньше ...
Автор/Создатель
7 Ершов, Ю. Л. (род. 1940) 6 Бирюков, Б. В. (1922—2014) 6 Градштейн, И. С. 6 Игошин, В. И. (род. 1948) 5 Кэрролл, Л. (1832—1898) 5 Столяр, А. А. (1919—1993) больше ... 4 Бирюков, Б. В. (род. 1922) 4 Верещагин, Н. К. (род. 1958) 4 Лавров, И. А. 4 Левин, В. И. 4 Мощенский, В. А. (род. 1938) 4 Новиков, П. С. 4 Смаллиан, Р. (род. 1919) 4 Стяжкин, Н. И. 4 Успенский, В. А. 4 Фреге, Г. (1848—1925) 3 Бахтияров, К. И. (род. 1934) 3 Белорусская математическая конференция 3 Богданова, Н. Б. 3 Гжегорчик, А. 3 Гильберт, Д. 3 Гудстейн, Р. Л. 3 Ершов, Ю. Л. 3 Иноземцев, В. А. (род. 1963) 3 Калужнин, Л. А. 3 Карпенко, А. С. (род. 1946) 3 Колмогоров, А. Н. (1903—1987) 3 Кулик, Б. А. 3 Лавров, И. А. (1937—2011) 3 Лихтарников, Л. М. (род. 1924) см. все ... меньше ...
Предмет
523 МАТЕМАТИЧЕСКАЯ ЛОГИКА 251 МАТЭМАТЫЧНАЯ ЛОГІКА 185 Математическая логика 47 МНОЖЕСТВ ТЕОРИЯ 46 МАТЕМАТИКА 46 Математическая логика - Сборники больше ... 41 ДИСКРЕТНАЯ МАТЕМАТИКА 39 ЛОГІКА 38 ЛОГИКА 34 АЛГЕБРА 29 АЛГОРИТМОВ ТЕОРИЯ 26 БУЛЕВА АЛГЕБРА 25 ГРУПП ТЕОРИЯ 23 КОНЕЧНЫЕ ГРУППЫ 23 МАТЭМАТЫКА 22 ГРАФОВ ТЕОРИЯ 22 ЧИСЕЛ ТЕОРИЯ 21 ВЫЧИСЛИМОСТИ ТЕОРИЯ 20 КАНЕЧНЫЯ ГРУПЫ 19 ОСНОВАНИЯ МАТЕМАТИКИ 18 ГРУП ТЭОРЫЯ 17 ИНФОРМАТИКА 17 КОМБИНАТОРИКА 17 МАТЕМАТИКИ 16 ФИЛОСОФИЯ МАТЕМАТИКИ 15 ЛІКАЎ ТЭОРЫЯ 15 МОДАЛЬНАЯ ЛОГИКА 15 ФИЛОСОФСКИЕ ПРОБЛЕМЫ 14 ЛОГИЧЕСКИЕ ФУНКЦИИ 14 ПРЕДИКАТЫ (мат.) см. все ... меньше ...
Жанр
84 УЧЕБНОЕ ПОСОБИЕ ДЛЯ ВУЗОВ 26 УЧЕБНО-МЕТОДИЧЕСКОЕ ПОСОБИЕ ДЛЯ СТУДЕНТОВ ВУЗОВ 9 КУРС ЛЕКЦИЙ 8 ЗАДАЧНИК С РЕШЕНИЯМИ 8 НАВУЧАЛЬНЫ ДАПАМОЖНІК ДЛЯ ВНУ 8 ПРАКТИКУМ ДЛЯ ВУЗОВ больше ... 6 БИОГРАФИЧЕСКИЕ СВЕДЕНИЯ 6 ЗАДАЧНИК 6 МЕТОДИЧЕСКИЕ РЕКОМЕНДАЦИИ 6 УЧЕБНИК ДЛЯ ВУЗОВ 5 ЛАБОРАТОРНАЯ РАБОТА 5 УЧЕБНОЕ ПОСОБИЕ ДЛЯ СРЕДНЕЙ ШКОЛЫ 4 УЧЕБНО-МЕТОДИЧЕСКОЕ ПОСОБИЕ ДЛЯ УЧИТЕЛЕЙ СРЕДНЕЙ ШКОЛЫ 3 ИЗДАНИЕ ДЛЯ ДЕТЕЙ И ЮНОШЕСТВА 3 МАТЕРИАЛЫ КОНФЕРЕНЦИИ, СЪЕЗДА, СИМПОЗИУМА 3 НАВУЧАЛЬНА-МЕТАДЫЧНЫ ДАПАМОЖНІК ДЛЯ СТУДЭНТАЎ ВНУ 3 УЧЕБНО-ПРАКТИЧЕСКОЕ ПОСОБИЕ 3 УЧЕБНОЕ ПОСОБИЕ ДЛЯ ССУЗОВ 2 АРХИВНЫЙ ДОКУМЕНТ 2 БИОГРАФИЯ 2 ВОСПОМИНАНИЯ 2 ЗАДАЧНІК 2 ИЗДАНИЕ ДЛЯ ДОСУГА 2 КАЛЕНДАРНО-ТЕМАТИЧЕСКИЙ ПЛАН 2 МЕТОДИЧЕСКИЕ УКАЗАНИЯ 2 РАБОЧАЯ ТЕТРАДЬ 2 УЧЕБНАЯ ПРОГРАММА ДЛЯ ВУЗОВ 2 УЧЕБНО-МЕТОДИЧЕСКИЙ КОМПЛЕКС ДЛЯ ВУЗОВ 2 УЧЕБНО-МЕТОДИЧЕСКОЕ ПОСОБИЕ ДЛЯ УЧИТЕЛЕЙ НАЧАЛЬНОЙ ШКОЛЫ 2 УЧЕБНОЕ ПОСОБИЕ ДЛЯ СТУДЕНТОВ ЗАОЧНОЙ ФОРМЫ ОБУЧЕНИЯ см. все ... меньше ...
Серия
9 Мат. логика и основания математики 8 Библиотека аналитической философии 7 Препр 7 Труды Математического института имени В. А. Стеклова 6 Препринт 5 Наука в СССР: через тернии к звездам больше ... 5 Сибирская школа алгебры и логики 5 Физико-математическое наследие 4 Высшее образование 4 Учебники для вузов. Специальная литература 4 Ученые записки 3 Relata Refero 3 Высшее профессиональное образование 3 Из истории логики XX века 3 Кибернетика 3 Классический университетский учебник 3 Независимый альянс 3 Сообщ. Объед. ин-та ядер. исслед 2 Acta Universitatis Wratislaviensis 2 Seria "Filozofia i logika" 2 Б-ка кафедры алгебры и матем. логики 2 Бакалавриат 2 Библиотечка журнала "Информационные технологии" 2 Классики науки 2 Матем. логика и основания математики 2 Науку — всем! 2 Приложение к журналу "Квант" 2 Свет разума 2 Современные лекционные курсы 2 Среднее профессиональное образование см. все ... меньше ...
Место публикации
188 М. 148 Москва 57 Новосибирск 52 Минск 20 Гомель 19 Санкт-Петербург больше ... 17 СПб 13 Мн 12 Саратов 11 Могилев 10 Л. 9 Warszawa 9 Витебск 9 Казань 9 Ярославль 7 Ереван 7 Киев 7 Красноярск 7 Санкт-Петербург [и др.] 6 Poznań 6 Алматы 6 Мінск 6 Омск 5 Екатеринбург 5 Иваново 5 Калинин 5 Свердловск 4 Горький 4 Мозырь 3 Алма-Ата см. все ... меньше ...
Язык
798 Русский 73 Английский 15 Польский 12 Белорусский 11 Немецкий 9 Французский больше ... 5 Казахский 3 Украинский 2 Армянский 2 Литовский 2 Неопределенный 1 Грузинский 1 Испанский см. все ... меньше ...
Дата издания

Опции поиска

  • История поисков
  • Расширенный поиск (каталог НББ)
  • Новые документы НББ

Нужна справка? Она ниже. Помощь

  • Советы для поиска
  • Обратитесь к библиотекарю
  • Помощь по работе в Электронном каталоге
  • Видеоурок: Поиск по фондам библиотеки
Загрузка...