Основы теоретической логики

Abstract

Из предисловия Д.Гилберта Настоящая книга излагает теоретическую логику (называемую также математической логикой, логическим исчислением или алгеброй логики) в той форме, которую она приобрела в моих университетских лекциях по принципиальным вопросам математики. (?Принципы математики?—зимний семестр 1917/18 гг.;'Логическое исчисление?—зимний семестр 1920 г.;'Основания математики?—зимний семестр 1921/22 гг.). При подготовке этих лекций я пользовался существенной помощью и советами моего коллеги Бернайса; он же самым тщательным образом обработал лекции. Использовав и дополнив возникший таким образом материал, мой ученик Аккерман, выдвинувшийся тем временем благодаря значительным самостоятельным работам в области оснований математики, дал приводимое ниже расчленение и окончательное изложение всего материала. Другие книги Д.Гилберта: Гилберт Д., Бернайс П. Основания математики Другие книги по данной тематике на сайте: Идельсон А.В. Математическая теория логического вывода. Математическая логика и основания математики Пойа Дж. Математика и правдоподобные рассуждения Мацнев А.П. Математическая логика и теория алгоритмов Грэхем Р., Кнут Д., Паташник О. Конкретная математика. Основание информатики Кнут Д., Грин Д. Математические методы анализа алгоритмов Кнут Д. Искусство программирования