510.6
   Г52


    Гладкий, А. В.
    Математическая логика / А. В. Гладкий. - М. : Рос. гос. гуманит. ун-т, 1998. - 479 с. - ISBN 5728100252 : 800.00 р.
УДК
Рубрики: Математика--Математическая логика
Кл.слова (ненормированные):
логика -- множества -- семантика

Экземпляры всего: 1
ЧЗ (1)
Свободны: ЧЗ (1)

   51
   Б59


    Бизам, Д.
    Многоцветная логика : 175 логических задач / Бизам, Д., Герцег, Я. - М. : Мир, 1978. - 434 с. - 11.00 р.
УДК
Рубрики: Математика--математическая логика
Кл.слова (ненормированные):
математика -- математическая логика -- логика -- задачи -- 08


Доп.точки доступа:
Герцег, Я.
Экземпляры всего: 1
АБ (1)
Свободны: АБ (1)

   51
   Е80


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


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

   51
   Ф36


    Фейс Р.
    Модальная логика / Фейс Р. - М. : Наука, 1974. - 520 с. - Б. ц.
УДК
Рубрики: Математика--Математическая логика
Кл.слова (ненормированные):
Модульная логика

Свободных экз. нет

   51
   И26


    Игошин, В. И.
    Задачник-практикум по математической логике : учеб. пособие для пед. ин-тов / Игошин, В. И. - М. : Просвещение, 1986. - 159 с. - Б. ц.
УДК
Рубрики: Математика--математическая логика

Экземпляры всего: 1
ЧЗ (1)
Свободных экз. нет

   510
   Ф86


    Фрейденталь Х.
    Язык логики: Пер. с англ. / Фрейденталь Х. - М.: : Наука,, 1969. - 135 с. - !origp454_H.pft: FILE NOT FOUND! . - Б. ц.
ББК 510.6
Рубрики: Математика--Математическая логика

Свободных экз. нет

   51
   К95


    Кутасов А.Д.
    Элементы математической логики: : пособие для уч-ся 9-10 кл. / Кутасов А.Д. - М. : Просвещение, 1977. - 61 с. - Б. ц.
ББК 510.6(075)
Рубрики: Математика--Математическая логика

Свободных экз. нет

   б51
   Л59


    Линдон Р
    Заметки по логике / Линдон Р. - М. : Мир, 1968. - 128 с. - Б. ц.
ББК 510.6
Рубрики: Математика--Математическая логика
Кл.слова (ненормированные):
Логика

Свободных экз. нет

   51
   Х20


    Харин, Н. Н.
    Математическая логика и теория множеств: (о соотношении абстрактного и конкретного) : / Н. Н. Харин ; ред. Я. Л. Харапинский. - [Б. м.] : Росвузиздат, 1963. - 192 с. - Б. ц.
УДК
Рубрики: Математика--Математическая логика
Кл.слова (ненормированные):
математическая логика -- теория множеств


Доп.точки доступа:
Харапинский, Я. Л. \ред.\
Экземпляры всего: 1
АБ (1)
Свободны: АБ (1)

   517
   Ш47


    Шенфилд,Джозеф Р
    Математическая логика / Шенфилд,Джозеф Р. - М. : Наука, 1975. - 527 с. : 21см. - Б. ц.
УДК
Рубрики: Математика--Математическая логика

Свободных экз. нет

   51
   С32


    Серебрянников, О. Ф.
    Эвристические принципы и логические исчисления / О. Ф. Серебрянников. - М. : Наука, 1970. - 283 с. - Б. ц.
УДК
Рубрики: Математика--Математическая логика
Кл.слова (ненормированные):
алгебра -- логика

Свободных экз. нет

   51
   К30


    Кац, М.
    Математика и логика. Ретроспектива и перспективы / Кац, М., Улам, С. - М. : Мир, 1971. - 251 с. - (Современная математика). - Б. ц.
УДК
Рубрики: Математика--математическая логика
Кл.слова (ненормированные):
математика -- математическая логика -- логика -- 08


Доп.точки доступа:
Улам, С.
Экземпляры всего: 1
ЧЗ (1)
Свободны: ЧЗ (1)

   51
   Л19


    Лакатос И.
    Доказательства и опровержения.Как доказываются теоремы. : пер. с англ. И.Н.Веселовского / Лакатос И. - М. : Наука, 1967. - 152 с. - Б. ц.
УДК
Рубрики: Математика--Математическая логика

Свободных экз. нет

   51
   Э19


    Эдельман С.Л.
    Математическая логика:Учебное пособие для пед.ин-ов / Эдельман С.Л. - М. : Высшая школа, 1975. - 176 с. - Б. ц.
ББК 510.6(075.8)
Рубрики: Математика--Математическая логика

Свободных экз. нет

   51
   К60


    Колмогоров, А. Н.
    Математическая логика. Дополнительные главы : учебное пособие для вузов / А. Н. Колмогоров, А. Г. Драгалин. - М. : Изд-во МГУ, 1984. - 119 с. - Б. ц.
УДК
Рубрики: Математика--Математическая логика


Доп.точки доступа:
Драгалин, А. Г.
Свободных экз. нет

   51
   А45


   
    Алгоритмы и машины Тьюринга : учеб.-метод. пособие / Б. Н. Дроботун, В. Г. Кадькалов. - Павлодар : ПГУ им. С.Торайгырова, 2003. - 105 с. - 205.00 тг.
УДК
Рубрики: Математика--Математическая логика
   Труды ученых ПГУ

Кл.слова (ненормированные):
алгоритмы -- математика -- машины -- Тьюринг


Доп.точки доступа:
Дроботун, Б. Н.; Кадькалов, В. Г.
Экземпляры всего: 85
ЧЗ (5), ППС (2), Колледж (10), АБ (68)
Свободны: ЧЗ (5), ППС (2), Колледж (10), АБ (68)

   51
   М74


    Моденов П.С.
    Сборник задач по специальному курсу элементарной математики / Моденов П.С., Изд.2-е доп. и испр. - М. : Высшая школа, 1960. - 766 с. - Б. ц.
УДК
Рубрики: Математика--Математическая логика
Кл.слова (ненормированные):
математика -- задачи

Свободных экз. нет

   51
   М74


    Моденов П.С.
    Экзаменационные задачи по математике с анализом их решения / Моденов П.С. - М. : Просвещиниеа, 1969. - 351 с. - Б. ц.
УДК
Рубрики: Математика--Математическая логика
Кл.слова (ненормированные):
математика -- задачи

Свободных экз. нет

   51
   Е80


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


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

   51
   У77


    Успенский, В. А.
    Вводный курс математической логики / Успенский, В. А., Верещагин, Н. К., Плиско, В. Е. - М. : ФИЗМАТЛИТ, 2004. - 125 с. - ISBN 5922102788 : 675.00 р.
УДК
Рубрики: Математика--математическая логика
Кл.слова (ненормированные):
м06 -- математика -- математическая логика -- логико-математические языки -- теория множеств -- теорема Геделя -- полнота -- теория алгоритмов


Доп.точки доступа:
Верещагин, Н. К.; Плиско, В. Е.
Экземпляры всего: 20
ЧЗ (2), АБ (18)
Свободны: ЧЗ (2), АБ (18)