Основания математики. Математическая логика

Конструктивная теория доказательств и нестандартный анализ, А. Г. Драгалин

Скачать книгу "Конструктивная теория доказательств и нестандартный анализ, А. Г. Драгалин"
Страниц: 544
Год издания: 2003
Язык: Русский
А.Г.Драгалин - выдающийся отечественный логик и математик, оказавший глубокое воздействие на стиль и направление мировых исследований по логике и философии математики. В настоящее издание включены тру ...

Элементарная и близкая к ней логические эквивалентности классических и универсальных алгебр, Е. И. Бунина, А. В. Михалев, А. Г. Пинус

Скачать книгу "Элементарная и близкая к ней логические эквивалентности классических и универсальных алгебр, Е. И. Бунина, А. В. Михалев, А. Г. Пинус"
Страниц: 360
Год издания: 2015
Язык: Русский
В монографии рассматриваются вопросы классификации классических и универсальных алгебр в тех или иных естественных языках математической логики. С подробными доказательствами излагаются классические р ...

О математических структурах, И. П. Егоров

Скачать книгу "О математических структурах, И. П. Егоров"
Страниц: 72
Год издания: 2016
Язык: Русский
В настоящей книге рассматривается понятие математической структуры и связанные с ним вопросы аксиоматической теории. Изложение ведется на уровне современных достижений, иллюстрируется наглядными приме ...