Главная Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


КНИГИ - результаты поиска

Вид поиска

Область поиска
 Найдено в других БД:Диссертации (7)
Формат представления найденных документов:
полныйинформационный краткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>U=510.6<.>)
Общее количество найденных документов : 16
Показаны документы с 1 по 16
1.

Гладкий А. В. Математическая логика/А. В. Гладкий. - 1998
2.

Карри, Х. Б. Основания математической логики/Карри, Х. Б.. - 1969
3.

Игошин, В. И. Задачник-практикум по математической логике/Игошин, В. И.. - 1986
4.

Фрейденталь Х. Язык логики: Пер. с англ./Фрейденталь Х.. - 1969
5.

Линдон Р Заметки по логике/Линдон Р. - 1968
6.

Кац, М. Математика и логика. Ретроспектива и перспективы/Кац, М., Улам, С.. - 1971
7.

Лакатос И. Доказательства и опровержения.Как доказываются теоремы./Лакатос И.. - 1967
8.

Колмогоров А. Н. Математическая логика. Дополнительные главы/А. Н. Колмогоров, А. Г. Драгалин. - 1984
9.

Логика и комбинаторика. - 2002
10.

Петров Ю.А. Математическая логика и материалистическая диалектика/Петров Ю.А.. - 1974
11.

Успенский, В. А. Вводный курс математической логики/Успенский, В. А., Верещагин, Н. К., Плиско, В. Е.. - 2004
12.

Новиков, П. С. Элементы математической логики/Новиков, П. С.. - 1973
13.

Лихтарников Л. М. Математическая логика. Курс лекций. Задачник-практикум и решения/Л. М. Лихтарников, Т. Г. Сукачева. - 2008
14.

Гончаров С. С. Алгебраические и алгоритмические свойства логических исчислений. Ч. 1. - 2008
15.

Гончаров С. С Алгебраические и алгоритмические свойства логических исчислений. Ч. 2. - 2008
16.

Тусупов Д. А. Методы определимости алгебраических структур и их применения в трансляции типов данных/Д. А. Тусупов. - 2013
 
© Павлодарский государственный университет им. С.Торайгырова, 2009-2015