Computable functions.

Algorithmic randomness and complexity by: (Electronic resources)

New Computational Paradigms = Changing Conceptions of What is Computable / by: (Electronic resources)

Hypercomputation = computing beyond the Church-Turing barrier / by: (Electronic resources)

Models of computation = an introduction to computability theory / by: (Electronic resources)

Computability and logic / by: (Language materials, printed)

Computability in context = computation and logic in the real world / by: (Electronic resources)

Computable models by: (Electronic resources)

Software Engineering/Programming and Operating Systems.

Mathematics- Philosophy.

Algorithm Analysis and Problem Complexity.

Math Applications in Computer Science.

Turing machines.

Artificial intelligence.

Coding and Information Theory.

Model theory.

Language Translation and Linguistics.

Theory of Computation.

Computer Science.

Programming Languages, Compilers, Interpreters.

Computable functions.

Logics and Meanings of Programs.

Mathematical Logic and Formal Languages.

Mathematical Logic and Foundations.

Algorithms.

Computation by Abstract Devices.

Quantum Computing, Information and Physics.

Philosophy.

Computational intelligence.

Recursive functions.

Artificial Intelligence (incl. Robotics)

Set theory.

Computational complexity.

Mathematics.

Logic, Symbolic and mathematical.