Результаты поиска для 'su:Физико-математические науки -- Математика -- Математическая логика. Основания математики' › Национальная библиография Электронный каталог

Уточнить поиск

Наличие
- Ограничить записями с доступными экземплярами
Авторы
Item types
- Книга (162)
Места хранения
Заглавие серии
Предметные рубрики
Коллекции
Библиотека хранения
- РНБ (Московский) (146)
- РНБ (Садовая) (12)
- РНБ (Фонтанка) (2)
Языки
- английский (12)
- русский (162)

	1.		КнигаПодлинные основания математики / И. П. Петров ; М-во трансп. Российской Федерации, ФГОУ ВПО Новосибирская гос. акад. водного трансп.Петров, Иван Порфирьевич -- Автор2006Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2007-4/19 (2). Добавить в подборку (удалить)
	2.		КнигаМатематическая логика / С. К. Клини ; пер. с англ. Ю. А. ГастеваКлини, Стивен Коул (1909-1994) -- Автор2007 [т.е. 2006]Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2007-5/799 (2). Добавить в подборку (удалить)
	3.		КнигаМатематическая логика / С.К. Клини ; пер. с англ. Ю. А. ГастеваКлини, Стивен Коул (1909-1994) -- Автор2008Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2008-5/3174 (2), РНБ (Садовая)Шифр хранения: У В12/К-493 (1). Добавить в подборку (удалить)
	4.		КнигаИнтуиция и математика / В. БоссБосс, В. -- Автор2007Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2007-3/2032 (2). Добавить в подборку (удалить)
	5.		КнигаКонструктивная математика / О. Е. АкимовАкимов, Олег Евгеньевич -- Автор2005Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2006-5/37 (2). Добавить в подборку (удалить)
	6.		КнигаФрактальная логика / В. В. Тарасенко ; предисл. С. П. КапицыТарасенко, Владислав Валерьевич -- Автор2009 (cop. 2008)Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2009-5/4939 (2). Добавить в подборку (удалить)
	7.		КнигаВведение в математическую логику : [исчисление высказываний, теории первого порядка, формальная арифметика, аксиоматическая теория множеств, эффективная вычислимость] / Э. Мендельсон ; пер. с англ. Ф. А. КабаковаМендельсон, Эллиот (1931-) -- Автор2010Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2010-5/8180 (2). Добавить в подборку (удалить)
	8.		КнигаМатематическая логика и теория алгоритмов : учеб. пособие / И. Б. Кожухов ; М-во образования и науки Рос. Федерации, Моск. гос. ин-т электрон. техники (техн. ун-т)Кожухов, Игорь Борисович -- Автор2004Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2005-3/10925 (2). Добавить в подборку (удалить)
	9.		КнигаДискретная математика : энциклопедия / гл. ред. В.Я. Козлов2004Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: С 2005-4/9 (2). Добавить в подборку (удалить)
	10.		КнигаНестандартный анализ и векторные решетки : [монография / Гутман А.Е., Емельянов Э.Ю., Коптев А.В. и др.] ; под ред. С.С. КутателадзеГутман, Александр Ефимович -- Автор;Емельянов, Эдуард Юрьевич -- Автор;Коптев, Александр Викторович -- Автор2005Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2006-3/4240 (2). Добавить в подборку (удалить)
	11.		КнигаМатематическая логика : учебное пособие для студентов вузов, обучающихся по техническим и естественно-научным специальностям / И.А. Лавров ; под ред. Л.Л. МаксимовойЛавров, Игорь Андреевич -- Автор2006Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2007-5/261 (3), РНБ (Садовая)Шифр хранения: У В12/Л-136 (1). Добавить в подборку (удалить)
	12.		КнигаДискретная математика : учебное пособие / И. Л. Ерош ; М-во образования и науки Российской Федерации, Федеральное агентство по образованию, Курганский гос. ун-тЕрош, Игорь Львович (1937-2010) -- Автор2006Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2007-3/2895 (2). Добавить в подборку (удалить)
	13.		КнигаМатематическая логика и теория алгоритмов : учеб. пособие / С.Н. Поздняков, С.В. Рыбин ; М-во образования и науки РФ, С.-Петерб. гос. электротехн. ун-т "ЛЭТИ"Поздняков, Сергей Николаевич -- АвторРыбин, Сергей Витальевич -- Автор2004Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2005-4/22721 (2). Добавить в подборку (удалить)
	14.		КнигаМатематическая логика : учебное пособие для студентов математических специальностей педагогических вузов / Б.Д. Пайсон ; М-во образования Рос. Федерации, Барнаул. гос. пед. ун-тПайсон, Борис Давыдович -- Автор2004Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2005-3/9944 (2). Добавить в подборку (удалить)
	15.		КнигаРусская вероятностная логика для школьников и умных академиков / В. И. ЛобановЛобанов, Владимир Иванович -- Автор2008Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2008-4/5637 (2). Добавить в подборку (удалить)
	16.		КнигаМатематическая логика и теория алгоритмов : учебное пособие : [по дисциплине "Математическая логика и теория алгоритмов" по направлению "Прикладная информатика"] / Крылов В. С. ; Министерство образования, науки и молодежи Республики Крым, Государственное бюджетное образовательное учреждение Республики Крым "Крымский инженерно-педагогический университет"Крылов, Владимир Сергеевич (1952-) 2016Наличие: Нет доступных экземпляров : Добавить в подборку (удалить)
	17.		КнигаНормативность дедуктивного дискурса: феноменология логических констант / В.В. Целищев ; Ин-т философии и права, Сиб. отд-ние РАНЦелищев, Виталий Валентинович -- Автор2004Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2005-5/10451 (2). Добавить в подборку (удалить)
	18.		КнигаДискретная математика : учеб. пособие по дисциплине "Дискрет. математика" для студентов направления подгот. 654700 "Информ. системы" / Т.А. Янковская ; М-во образования и науки Рос. Федерации, Федер. агентство по образованию, Гос. ун-т цвет. металлов и золотаЯнковская, Татьяна Александровна -- Автор2004Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2005-3/34020 (2). Добавить в подборку (удалить)
	19.		КнигаДискретная математика : сб. задач : учеб. пособие для студентов вузов, обучающихся по направлению подгот. бакалавров и магистров 554000 "Телекоммуникации" / Т.В. Бернштейн, Т.В. Храмова ; М-во Рос. Федерации по связи и информатизации, Гос. образоват. учреждение высш. проф. образования "Сиб. гос. ун-т телекоммуникаций и информатики"Бернштейн, Татьяна Викторовна -- АвторХрамова, Татьяна Викторовна -- Автор2004Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2005-4/17236 (2). Добавить в подборку (удалить)
	20.		КнигаЛекции и практикум по математической логике : учебное пособие : [для подготовки студентов направлений "Бизнес-информатика", "Математика. Компьютерные науки", "Информационные технологии", "Прикладная математика и информатика"] / Э. Р. Зарипова, Е. В. МарковаЗарипова, Эльвира РинатовнаМаркова, Екатерина Викторовна 2016Наличие: Нет доступных экземпляров : Добавить в подборку (удалить)

Уточнить поиск

Наличие

Авторы

Item types

Места хранения

Заглавие серии

Предметные рубрики

Коллекции

Библиотека хранения

Языки

Ваш поиск дал 162 результатов