VII Всесоюзная конференция по математической логике, посвященная 75-летию академика А. И. Мальцева, 5-7 сентября 1984 г., г. Новосибирск: тезисы докладов

Bibliographic Details
Corporate Authors:	Академия наук СССР (АН СССР) Сибирское отделение (СО) Институт математики (570), Всесоюзная конференция по математической логике
Other Authors:	Ершов Ю. Л. (редактор)
Language:	Russian
Published:	Новосибирск, Изд-во АН СССР, 1984
Subjects:	Математическая логика инверсные полугруппы эквивалентность доказуемость множества диаграммы конгруэнции предикаты многообразия аксиоматика тьюринговые сводимости операторы гильбертовы пространства тождества проблемы решение уравнения формулы булевы алгебры теория унара принцип Маркова абелевы группы алгебраические системы конференции
Format:	Book
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=281777

Similar Items