Descriptive set theory.

Descriptive set theory by: (書目-語言資料,印刷品)

Set theory = with an introduction to descriptive set theory / by: (書目-語言資料,印刷品)

Descriptive set theoretic methods in automata theory = decidability and topological complexity / by: (書目-語言資料,印刷品)

Topics in orbit equivalence by: (書目-語言資料,印刷品)

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.