Подробности: Введение в математическую логику , [исчисление высказываний, теории первого порядка, формальная арифметика, аксиоматическая теория множеств, эффективная вычислимость]

Книга

Введение в математическую логику = Introduction to mathematical logic : [исчисление высказываний, теории первого порядка, формальная арифметика, аксиоматическая теория множеств, эффективная вычислимость] / Э. Мендельсон ; пер. с англ. Ф. А. Кабакова ; под ред. акад. С. И. Адяна

Автор: Мендельсон, Эллиот (1931-), АвторПараллельное заглавие: : z55790Introduction to mathematical logic, английскийЯзык: русский ; оригинала, английский.Выходные данные: Москва : URSS ; ЛИБРОКОМ, 2010Физическая характеристика: 319 с. : ил. ; 22 см.ISBN: 978-5-397-01387-1 Издание: : Изд. 4-еСерия: Физико-математическое наследие: математика (основания математики и логика) Примечания: Авт. также на англ. яз.: Elliott Mendelson.Библиография: Библиогр.: с. 296-309; Алф. указ.: с. 310-317.Предметная рубрика - Тема: Математическая логика Неконтролируемые предметные термины: Физико-математические науки -- Математика -- Основания математики. Математическая логика -- Учебник для высшей школыДругие классификации: ( ) В12я73-1 ; В12Коллекция: Национальная библиография Тип экземпляра: Книга

Экземпляры
Тип экземпляра	Текущая библиотека	Шифр хранения	Кол-во копий	Статус	Срок возврата	Штрих-код
Книга	РНБ (Московский) Русский книжный фонд: издания с 1957 года	2010-5/8180 (Просмотр полки(Открывается ниже))	4206	Доступно		1-974780
Книга	РНБ (Московский) Русский книжный фонд: издания с 1957 года	2010-5/8180 (Просмотр полки(Открывается ниже))	4206	Доступно		3256590

Авт. также на англ. яз.: Elliott Mendelson

Изд. проверено

Библиогр.: с. 296-309

Алф. указ.: с. 310-317