Уважаемые посетители! Наш сайт перенесен на новый домен. Здесь все функции, регистрация, добавление новостей и т.д. отключены.
Ждем вас в гости по новому адресу - www.infanata.com
Настоящая книга излагает теоретическую логику (называемую также математической логикой, логическим исчислением или алгеброй логики) в той форме, которую она приобрела в моих университетских лекциях по принципиальным вопросам математики. («Принципы математики»—зимний семестр 1917/18 гг.; «Логическое исчисление»—зимний семестр 1920 г.; «Основания математики»—зимний семестр 1921/22 гг.). При подготовке этих лекций я пользовался существенной помощью и советами моего коллеги Бернайса; он же самым тщательным образом обработал лекции. Использовав и дополнив возникший таким образом материал, мой ученик Аккерман, выдвинувшийся тем временем благодаря значительным самостоятельным работам в области оснований математики, дал приводимое ниже расчленение и окончательное изложение всего материала.
Уважаемый посетитель вы вошли на сайт как незарегистрированный пользователь. Мы рекомендуем вам зарегистрироваться либо войти на сайт под своим именем.