
History of mathematical logic and foundations, Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations, Applications of computability and recursion theory, History of group theory, Word problems, other decision problems, connections with logic and automata (group-theoretic aspects), Word problems, etc. in computability and recursion theory, Research exposition (monographs, survey articles) pertaining to group theory
History of mathematical logic and foundations, Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations, Applications of computability and recursion theory, History of group theory, Word problems, other decision problems, connections with logic and automata (group-theoretic aspects), Word problems, etc. in computability and recursion theory, Research exposition (monographs, survey articles) pertaining to group theory
