К60 Колмогоров, А. Н. Введение в математическую логику [Текст] : Учеб. пособие для студентов мат. спец. вузов / А. Н. Колмогоров. - М. : Изд-во МГУ, 1982. - 120 с. - 0.25 р.
Кл.слова (ненормированные): Математика -- учебное пособие для вузов -- математическая логика -- теория множеств -- булевы алгебры -- семантика языка -- логические законы -- формальные аксиоматические теории Экземпляры всего: 2 2к (2) Свободны: 2к (2) |
К60 Колмогоров, А. Н. Математическая логика: Учеб. пособие для студ. математ. спец. вузов [Текст] / А.Н. Колмогоров, А.Г. Драгалин; МГУ им. М.В. Ломоносова. - 3-е изд., стер. - М. : КомКнига, 2006. - 240 с. - (Классический университетский учебник). - 195.00 р., 194.00 р.
Кл.слова (ненормированные): Математика -- формальные аксиоматические теории -- логические законы -- семантика языка -- булевы алгебры -- теория множеств -- математическая логика -- теорема Геделя -- логика высказываний -- логика предикатов -- основания математики -- теория доказательств -- теория алгорифмов -- предикаты -- дедукция Экземпляры всего: 11 2к (10), 6к (1) Свободны: 2к (10), 6к (1) |