Descriptive set theory.

Descriptive set theory by: (Language materials, printed)

Set theory = with an introduction to descriptive set theory / by: (Language materials, printed)

Descriptive set theoretic methods in automata theory = decidability and topological complexity / by: (Language materials, printed)

Topics in orbit equivalence by: (Language materials, printed)

Software Engineering.

Algorithm Analysis and Problem Complexity.

Equivalence relations (Set theory)

Computer Science.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Ergodic theory.

Descriptive set theory.

Set theory.

Topological transformation groups.

Machine theory.

Discrete Mathematics in Computer Science.

Computation by Abstract Devices.