Descriptive set theory.

Descriptive set theoretic methods in automata theory[electronic resource] :decidability and topological complexity / by: (Electronic resources)

Topics in orbit equivalence[electronic resource] / by: (Electronic resources)

Mathematical Logic and Formal Languages.

Software Engineering.

Machine theory.

Logics and Meanings of Programs.

Computation by Abstract Devices.

Algorithm Analysis and Problem Complexity.

Descriptive set theory.

Computer Science.

Discrete Mathematics in Computer Science.

Equivalence relations (Set theory)

Descriptive set theory.

Topological transformation groups.

Ergodic theory.