theoretical computer science
subfield of computer science and mathematics
combinatorial game theory
branch of game theory about two-player sequential games with perfect information
algorithmic information theory
subfield of information theory and computer science
Algorithmic logic
logic for mathematics
computability theory
study of computable functions and Turing degrees