Конструктивная математическая логика с точки зрения классической

Петр Новиков

Моя оценка

Получить эту книгу или продать свою

Перейти

Лучшая подборка

Смотреть 1
phaneron

phaneron

обновлено 9 лет назадПодборки

7K

Владимир Андреевич Успенский - Лекции о вычислимых функциях Глушков Виктор Михайлович - Синтез цифровых автоматов - Функции алгебры логики и классы Поста
В 1959 году «Физматгиз» (впоследствии — издательство «Наука») приступил к реализации беспрецедентного проекта по изданию серии «Математическая логика и основания математики». Большинство литературных источников по математической логике (переводных и на русском языке) впервые увидело свет в рамках этого проекта и к…

Похожие книги

Вы можете посоветовать похожие книги по сюжету, жанру, стилю или настроению. Предложенные вами книги другие пользователи увидят здесь, в блоке «Похожие книги».

Новинки

Смотреть 432

Популярные книги

Смотреть 1018