Г 65 Гончаров, Сергей Савостьянович. Счетные булевы алгебры и разрешимость [Текст] / С. С. Гончаров ; [отв. ред. Ю. Л. Ершов]. - Новосибирск : Науч. кн., 1996. - 361 с. - (Сибирская школа алгебры и логики). - ISBN 5-88119-004-1 : 60.00 р. Рубрики: Алгебра Кл.слова (ненормированные): логика алгебраическая -- булевы функции -- булевы топологии Доп.точки доступа: Ершов, Ю.Л. \отв. ред.\ Экземпляры всего: 1 Ч.з.1 (1) Свободны: Ч.з.1 (1) |
Е 80 Ершов, Ю. Л. Кратно нормированные поля [Текст] / Ю. Л. Ершов. - Новосибирск : Науч. кн., 2000. - 329 с. - (Сибирская школа алгебры и логики). - ISBN 5-88119-028-9 : 75.00 р. Рубрики: Математика Кл.слова (ненормированные): алгебра -- поля -- многочлены -- нормированные поля Экземпляры всего: 1 Ч.з.1 (1) Свободны: Ч.з.1 (1) |
Е 80 Ершов, Ю. Л. Математическая логика [Text] : учеб. пособие / Ю. Л. Ершов, Е. А. Палютин. - 3-е изд., стер. - СПб. [и др.] : Лань, 2004. - 336 с. - (Учебники для вузов. Специальная литература). - ISBN 5-8114-0533-2 : 169.50 р. Рубрики: Математическая логика Кл.слова (ненормированные): теория множеств -- алгебраические системы -- теория моделей -- теория доказательств -- алгоритмы -- рекурсивные функции -- математическая логика -- учебное пособие Доп.точки доступа: Палютин, Е.А. Экземпляры всего: 4 Ч.з.1 (4) Свободны: Ч.з.1 (4) |
А 45 Алгебра и логика [Текст] : сб. науч. трудов / АН СССР. Сиб. отд-ние. Ин-т математики. - Новосибирск : [б. и.]. Т. 23, №1 / ред.: Ю. Л. Ершов, Е. Н. Кузьмин, Ю. И. Мерзляков. - 1984. - 120 с. - 1.00 р. Рубрики: Алгебра--логика Кл.слова (ненормированные): алгебра -- логика Доп.точки доступа: Ершов, Ю.Л. \ред.\; Кузьмин, Е.Н. \ред.\; Мерзляков, Ю.И. \ред.\; АН СССР. Сиб. отд-ние. Ин-т математики Экземпляры всего: 2 Ч.з.1 (2) Свободны: Ч.з.1 (2) |
А 45 Алгебра и логика [Текст] : сб. науч. трудов / АН СССР. Сиб. отд-ние. Ин-т математики. - Новосибирск : [б. и.]. Т. 23, №2 / ред.: Ю. Л. Ершов, Е. Н. Кузьмин, Ю. И. Мерзляков. - 1984. - 242 с. - 1.00 р. Рубрики: Алгебра--логика Кл.слова (ненормированные): алгебра -- логика Доп.точки доступа: Ершов, Ю.Л. \ред.\; Кузьмин, Е.Н. \ред.\; Мерзляков, Ю.И. \ред.\; АН СССР. Сиб. отд-ние. Ин-т математики Экземпляры всего: 2 Ч.з.1 (2) Свободны: Ч.з.1 (2) |
А 45 Алгебра и логика [Текст] : сб. науч. трудов / АН СССР. Сиб. отд-ние. Ин-т математики. - Новосибирск : [б. и.].Алгебра и логика : сб. науч. тр. Т.23. №6 / АН СССР, Сибирское отд-ние; Ин-т математики ; ред.: Ю. Л. Ершов, Е. Н. Кузьмин, Ю. И. Мерзляков. - Новосибирск : [б. и.], 1984. - 736 с. - 1.00 р. Рубрики: Алгебра--логика Кл.слова (ненормированные): алгебра -- логика Доп.точки доступа: Ершов, Ю.Л. \ред.\; Кузьмин, Е.Н. \ред.\; Мерзляков, Ю.И. \ред.\; АН СССР. Сибирское отд-ние; Ин-т математики; АН СССР. Сиб. отд-ние. Ин-т математики Экземпляры всего: 2 Ч.з.1 (2) Свободны: Ч.з.1 (2) |