Вводный курс математической логики/

Вводный курс математической логики/

Библиографическая информация
Главные авторы:	Успенский, В. А. Владимир Андреевич (Автор), Верещагин, Н. К. Николай Константинович (Автор), Плиско, В. Е. Валерий Егорович (Автор)
Формат:	Книга
Публикация:	М.: Физматлит 2004
Редактирование:	2-е изд.
Предметы:	учебные пособия математическая логика
Online-ссылка:	Перейти в каталог Библиотеки ТУСУР

Похожие документы

Вводный курс математической логики [учебное пособие]
по: Успенский, Владимир Андреевич 1930-2018
Публикация: (2004)

Вводный курс математической логики [учебное пособие]
по: Успенский, Владимир Андреевич 1930-2018
Публикация: (2007)

Элементы математической логики
по: Марков, Андрей Андреевич младший 1903-1979
Публикация: (1984)

Элементы математической логики
по: Новиков, Петр Сергеевич
Публикация: (1973)

Основания математической логики/
по: Карри, Х. Б. Хаскелл Б.
Публикация: (1969)

Русская логика против классической (азбука математической логики)
по: Лобанов, Владимир Иванович
Публикация: (2002)

Решебник по русской логике (азбука математической логики)
по: Лобанов, Владимир Иванович
Публикация: (2002)

Формирование математической логики
по: Стяжкин, Николай Иванович
Публикация: (1967)

Элементы теории множеств и математической логики: учебное пособие/
по: Дурнев, В. Г. Валерий Георгиевич
Публикация: (1978)

Элементы математической логики
по: Новиков, Петр Сергеевич
Публикация: (1959)

Основания математической логики
по: Карри, Хаскелл Брокс
Публикация: (1969)

Язык логики
по: Фрейденталь, Ханс
Публикация: (1969)

Основы теоретической логики
по: Гильберт, Давид 1862-1943
Публикация: (1947)

Элементы теории множеств и математической логики Практикум
по: Александрова, Регина Александровна
Публикация: (1997)

Основы теоретической логики
по: Гильберт, Давид 1862-1943
Публикация: (2000)

Элементы математической логики и теории множеств: Учебное пособие для вузов/
по: Вольвачев, Р. Т. Раймонд Трофимович
Публикация: (1986)

Элементы математической логики и теории множеств
по: Пензов, Юрий Ефимович
Публикация: (1968)

Популярная логика: общедоступный очерк логики предложений
по: Гжегорчик, Анджей
Публикация: (1979)

Философско-методологические аспекты релевантной логики
по: Войшвилло, Евгений Казимирович 1913-2008
Публикация: (1988)

Лекции по математической логике Учебное пособие для студентов математических специальностей вузов
по: Мощенский, Владимир Андреевич
Публикация: (1973)

Алгебраические логики: элементы теории, взаимоотношения, реляторная схемотехника: научное издание/
по: Волгин, Л. И. Леонид Иванович
Публикация: (2005)

Единство диалектической и формальной логики Элеат Зенон против и за Эйнштейна
по: Шеенсон, Игорь Самуилович
Публикация: (2009)

Проблемы логики
Публикация: (1963)

Проблемы методологии и логики наук [Доклады совещания. 21-26 мая 1960 г. ]
Публикация: (1962)

Опыты математического изложения логики
Публикация: (1886)

Курс математической логики и теории вычислимости учебное пособие
по: Герасимов, Александр Сергеевич
Публикация: (2011)

Элементы математической логики и теории множеств [учебное пособие для математических специальностей вузов]
по: Вольвачев, Раймонд Трофимович
Публикация: (1986)

От логики Аристотеля к троичным ЭВМ
по: Тунда, Елена Александровна

Курс математической логики и теории вычислимости учебное пособие : [для студентов по направлению подготовки "Компьютерные и информационные науки", "Информатика и вычислительная техника" и др.]
по: Герасимов, Александр Сергеевич
Публикация: (2014)

Первое знакомство с математической логикой: научное издание/
по: Депман, И. Я. Иван Яковлевич
Публикация: (1965)

Решение задач математической логики с использованием элементарной алгебры
по: Коваленко, Сергей Иванович
Публикация: (2004)

Новое изложение логики, основанное на элементарных курсах математики и физики
по: Герн, Богдан Адольфович 1962-1939
Публикация: (1903)

Многозначные и многомерные булевы и небулевы алгебры логики А. В. Короткова и пифагоровы числа в искусственном интеллекте и криптографических системах: монография/
по: Бабкина, Т. А. Татьяна Александровна, et al.
Публикация: (2011)

С точки зрения логики 9 логико-философских очерков
по: Куайн, Уиллард ван Орман 1908-2000
Публикация: (2010)

О математической логике и философии математики. Начальные сведения об основаниях математике: научное издание/
по: Ивс, Г.И, et al.
Публикация: (1968)

Практический курс логики для гуманитариев: учебное пособие для гуманитарных специальностей вузов/
по: Брюшинкин, В. Н.
Публикация: (1996)

Лекции по математической логике и теории алгоритмов
по: Верещагин, Николай Константинович 1958-
Публикация: (2000)

Философия. Вводный курс Учебник
по: Поупкин, Ричард
Публикация: (1997)

Основы современной логики учебное пособие для студентов вузов
по: Чуешов, Виктор Иванович
Публикация: (2003)

Очерки социальной истории логики в России
по: Бажанов, Валентин Александрович 1953-
Публикация: (2002)