51 Н 731 Новиков, Петр Сергеевич. Элементы математической логики / П. С. Новиков. - Москва : Физматлит, 1959. - 400 с. - 1.11 р., 1.11 р.
Кл.слова (ненормированные): Математическая логика -- Алгебра высказываний -- Исчисление высказываний -- Логика предикатов -- Аксиоматическая арифметика -- Теория доказательств Экземпляры всего: 2 АБН (1), Х (1) Свободны: АБН (1), Х (1) |
517 Н 731 Новиков, Петр Сергеевич. Элементы математической логики / П. С. Новиков. - 2-е изд., испр. - Москва : Наука, 1973. - 400 с. - (Математическая логика и основания математики). - 1.43 р., 1.43 р.
Кл.слова (ненормированные): МАТЕМАТИЧЕСКАЯ ЛОГИКА -- АЛГЕБРА ВЫСКАЗЫВАНИЙ -- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- ЛОГИКА ПРЕДИКАТОВ -- АКСИОМАТИЧЕСКАЯ АРИФМЕТИКА -- ЭЛЕМЕНТЫ ТЕОРИИ ДОКАЗАТЕЛЬСТВ Экземпляры всего: 2 АБН (1), Х (1) Свободны: АБН (1), Х (1) |
517 Н 731 Новиков, Петр Сергеевич. Конструктивная математическая логика с точки зрения классической / П. С. Новиков. - Москва : Наука, 1977. - 328 с. - (Математическая логика и основания математики). - Библиогр.: с. 318. - 1.43 р., 1.43 р.
Кл.слова (ненормированные): Математическая логика -- Алгебра высказываний -- Исчисление высказываний -- Логика предикатов -- Аксиоматическая арифметика Экземпляры всего: 3 АБН (2), Х (1) Свободны: АБН (2), Х (1) |