Введение в математическую логику, [исчисление высказываний, теории первого порядка, формальная арифметика, аксиоматическая теория множеств, эффективная вычислимость]
2010-5/8180 2010-5/8180 978-5-397-01387-1/[2010-64071]/русский/Введение в математическую логику = Introduction to mathematical logic : [исчисление высказываний, теории первого порядка, формальная арифметика, аксиоматическая теория множеств, эффективная вычислимость] / Э. Мендельсон ; пер. с англ. Ф. А. Кабакова ; под ред. акад. С. И. Адяна.Введение в математическую логику : [исчисление высказываний, теории первого порядка, формальная арифметика, аксиоматическая теория множеств, эффективная вычислимость] / Э. Мендельсон.Введение в математическую логику = Introduction to mathematical logic : [исчисление высказываний, теории первого порядка, формальная арифметика, аксиоматическая теория множеств, эффективная вычислимость]. - Изд. 4-е.Москва/URSS/ЛИБРОКОМ/, 2010 ( ). - URSS, ЛИБРОКОМ, 2010. - 319 с. : ил. ; 22 см. - (Физико-математическое наследие: математика (основания математики и логика)).Введение в математическую логику : [исчисление высказываний, теории первого порядка, формальная арифметика, аксиоматическая теория множеств, эффективная вычислимость]. Изд. 4-еМосква, 2010 .
Авт. также на англ. яз.: Elliott Mendelson. - Библиогр.: с. 296-309. - Алф. указ.: с. 310-317. Библиогр.: с. 296-309. Алф. указ.: с. 310-317.Introduction to mathematical logic/Математическая логика/В12я73-1/В12/Mendelson , Elliott ./
Авт. также на англ. яз.: Elliott Mendelson. - Библиогр.: с. 296-309. - Алф. указ.: с. 310-317. Библиогр.: с. 296-309. Алф. указ.: с. 310-317.Introduction to mathematical logic/Математическая логика/В12я73-1/В12/Mendelson , Elliott ./