Descriptive set theory.

Topics in orbit equivalence by: (Electronic resources)

Banach spaces and descriptive set theoryselected topics / by: (Electronic resources)

Descriptive set theoretic methods in automata theorydecidability and topological complexity / by: (Electronic resources)

Equivalence relations (Set theory)

Mathematical Logic and Foundations.

Mathematical Logic and Formal Languages.

Software Engineering.

Combinatorics.

Machine theory.

Logics and Meanings of Programs.

Computation by Abstract Devices.

Algorithm Analysis and Problem Complexity.

Descriptive set theory.

Mathematics.

Banach spaces.

Functional Analysis.

Topological transformation groups.

Computer Science.

Discrete Mathematics in Computer Science.

Ergodic theory.