БиблиографияТранзитивностьМендельсон Э. Введение в математическую логику : [исчисление высказываний, теории первого порядка, формальная арифметика, аксиоматическая теория множеств, эффективная вычислимость] = Introduction to mathematical logic / Э. Мендельсон ; пер. с англ. Ф. А. Кабакова ; под ред. С. И. Адяна. – Изд. 4-е. – Москва : URSS : ЛИБРОКОМ, 2010. – (Физико-математическое наследие: математика (основания математики и логика).Опубликовано 24 декабря 2022 г. в 21:25 (GMT+3). Последнее обновление 24 декабря 2022 г. в 21:25 (GMT+3).Связаться с редакцией