Первое издание книги открыло в 1996 г. серию монографий "Сибирская школа алгебры и логики" под редакцией акад. Ю.Л. Ершова, в рамках которой опубликованы к настоящему времени 7 томов ("Научная книга", Новосибирск), одновременно изданных на английском языке в серии "Siberian School of Algebra and Logic" ("Kluwer Academic / Plenum Publishers").
Второе издание (исправленное и дополненное) приурочено к 60-летию акад. Ю.Л. Ершова.
Для научных работников - специалистов по математической логике, алгебры, теоретическому программированию, информатике и смежным специальностям. Доступна аспирантам и студентам университетов.