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

Базы данных


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

Вид поиска

Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=теория доказательств<.>)
Общее количество найденных документов : 5
Показаны документы с 1 по 5
1.
   51
   Е80


    Ершов, Ю. Л.
    Математическая логика : учебное пособие для матем. спец. вузов / Ю. Л. Ершов, Е. А. Палютин. - 2-е изд., испр. и доп. - М. : Наука, 1987. - 336 с. - Б. ц.
УДК
Рубрики: Математика--Математическая логика
Кл.слова (ненормированные):
математическая логика -- исчисление высказываний -- исчисление пикатов -- теория моделей -- теория доказательств -- алгоритмы -- рекурсивные функции -- 08


Доп.точки доступа:
Палютин, Е. А.
Экземпляры всего: 9
ЧЗ (2), АБ (7)
Свободны: ЧЗ (2), АБ (7)
Найти похожие
2.
   51
   Г47


    Гилберт, Д.
    Основания математики: теория доказательств / Гилберт, Д., Бернайс, П. - М. : Наука, 1982. - 652 с. - (Математическая логика и основания математики). - Б. ц.
УДК
Рубрики: Математика
Кл.слова (ненормированные):
11 -- математика -- теория доказательств -- математическая логика -- основания математики


Доп.точки доступа:
Бернайс, П.
Экземпляры всего: 1
ЧЗ (1)
Свободны: ЧЗ (1)
Найти похожие
3.
   51
   Е80


    Ершов, Ю. Л.
    Математическая логика : учебное пособие / Ю. Л. Ершов, Е. А. Палютин. - Изд. 4-е, стер. - СПб. : Лань, 2005. - 336 с. - ISBN 5811405332 : 1480.00 р.
УДК
Рубрики: Математика--Математическая логика
Кл.слова (ненормированные):
математическая логика -- исчисление высказываний -- теория множеств -- алгебраические системы -- исчисление предикатов -- теория моделей -- теория доказательств -- алгоритмы -- рекурсивные функции


Доп.точки доступа:
Палютин, Е. А.
Экземпляры всего: 20
ЧЗ (2), АБ (18)
Свободны: ЧЗ (2), АБ (18)
Найти похожие
4.
   51
   Н73


    Новиков, П. С.
    Элементы математической логики / Новиков, П. С. - Изд. 2-е, испр. - М. : Наука, 1973. - 399 с. - (Математическая логика и основания математики). - 14.00 р.
УДК
Рубрики: Математика--математическая логика
Кл.слова (ненормированные):
я08 -- математика -- математическая логика -- алгебра высказываний -- исчисление -- теоремы -- логика предикатов -- аксиомы -- формулы -- арифметика -- множители -- теория доказательств -- дар Касенова

Экземпляры всего: 1
ЧЗ (1)
Свободны: ЧЗ (1)
Найти похожие
5.
   51
   С74


   Барвайс, Дж.

    Справочная книга по математической логике : в 4 ч. / Дж. Барвайс ; ред. В. П. Оревков. - М. : Наука, 1982 - .
   Ч. 4 : Теория доказательств и конструктивная математика. - 391 с. - 2р.10к. р.
УДК
Рубрики: Математика
Кл.слова (ненормированные):
08 -- математика -- математическая логика -- справочник -- теория доказательств -- конструктивная математика


Доп.точки доступа:
Оревков, В. П. \ред.\
Экземпляры всего: 6
ЧЗ (6)
Свободны: ЧЗ (6)
Найти похожие
 
© Павлодарский государственный университет им. С.Торайгырова, 2009-2015