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

Détails bibliographiques
Collectivités auteurs:	Академия наук СССР (АН СССР) Сибирское отделение (СО) Институт математики (570), Всесоюзная конференция по математической логике
Autres auteurs:	Ершов Ю. Л. (340)
Langue:	russe
Publié:	Новосибирск, Изд-во АН СССР, 1984
Sujets:	Математическая логика инверсные полугруппы эквивалентность доказуемость множества диаграммы конгруэнции предикаты многообразия аксиоматика тьюринговые сводимости операторы гильбертовы пространства тождества проблемы решение уравнения формулы булевы алгебры теория унара принцип Маркова абелевы группы алгебраические системы конференции
Format:	Livre
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=281777

Documents similaires