Title: Izbrannye trudy
Subjects: Algebra, Symbolic and mathematical Logic, System theory