Лавров, И. А.
Математическая логика : [учеб. пособие для вузов по техн. и естеств.-науч. спец.] / И. А. Лавров; под ред. Л. Л. Максимовой. - Москва : Академия, 2006. - 240 с. : ил. - (Университетский учебник) (Серия "Прикладная математика и информатика"). - Библиогр.: с. 230. - Допущ.М-вом образования и науки РФ. - ISBN 5-7695-2735-8.

Аннотация: Основы современного подхода к изучению математических теорий с привлечением логических понятий и методов, концепция программы Д. Гильберта о построении математических теорий аксиоматическим путем. Аксиоматические теории для множеств натуральных и действительных чисел и для геометрии.

ББК: 22.122я73-1

Экземпляры: Всего: 30, из них: аб-27, кх-1, чз-2

Полочные шифры: 22.12 - Л 136

Инвентарный номер: 644787,644788

URL биб.описания: http://lib.chuvgpu.ru/MegaPro/UserEntry?Action=FindDocs&ids=27815&idb=mega1

Математическая логика : [учеб. пособие для мат. спец. пед. ин-тов] / Л. А. Латотин, Ю. А. Макаренков, В. В. Николаева, А. А. Столяр; под общ. ред. А. А. Столяра. - Минск : Вышэйш. шк., 1991. - 270 с. : ил. - доп. ГК. - ISBN 5-339-00342-6.

ББК: 22.122я73-1

Экземпляры: Всего: 15, из них: аб-12, кх-1, чз-2

Полочные шифры: 22.12 - М 34

Инвентарный номер: 582550,582551

URL биб.описания: http://lib.chuvgpu.ru/MegaPro/UserEntry?Action=FindDocs&ids=58607&idb=mega1

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

Аннотация: Излагаются фундаментальные факты математической логики: начала аксиоматической теории множеств, теория алгоритмов, теорема о полноте исчисления предикатов, теорема Геделя о неполноте.

ББК: 22.122я73-1

Экземпляры: Всего: 1, из них: кх-1

Полочные шифры: 22.12 - К 608

Инвентарный номер: 527743

URL биб.описания: http://lib.chuvgpu.ru/MegaPro/UserEntry?Action=FindDocs&ids=65764&idb=mega1

Колмогоров, А. Н.
Введение в математическую логику : [учеб. пособие для мат. спец. вузов] / А. Н. Колмогоров, А. Г. Драгалин. - Москва : Изд-во МГУ, 1982. - 120 с. - доп. МО.

ББК: 22.122я73-1

Экземпляры: Всего: 1, из них: чз-1

Полочные шифры: 51:16 - К 608

Инвентарный номер: 519967,519968,519970

URL биб.описания: http://lib.chuvgpu.ru/MegaPro/UserEntry?Action=FindDocs&ids=58604&idb=mega1

Эдельман, С. Л.
Математическая логика : [учеб. пособие для пед. ин-тов] / С. Л. Эдельман. - Москва : Высш. шк., 1975. - 175 с. - доп. МО.

Аннотация: Рассматривается теория алгебры высказываний, алгебры предикатов, исчисления высказываний и предикатов. Изложение сопровождается рядом примеров, способствующих усвоению логики математических методов.

ББК: 22.122я73-1

Экземпляры: Всего: 1, из них: чз-1

Полочные шифры: 51:16 - Э 192

Инвентарный номер: 426717,426718,426720,426721,426725,426726, 426727,426729,426730

URL биб.описания: http://lib.chuvgpu.ru/MegaPro/UserEntry?Action=FindDocs&ids=58618&idb=mega1