Mathematical Logic and Foundations Mathematical logic 264 Formal Languages and Automata Theory 92 Machine theory 92 Mathematics 62 Logic 58 Computer science 57 Artificial Intelligence 45 Artificial intelligence 45 Computer science-Mathematics 43 Theory of Computation 38 Discrete mathematics 37 Computer Science Logic and Foundations of Programming 35 Algebra 33 History 32 History of Mathematical Sciences 30 Number Theory 26 Number theory 26 Discrete Mathematics 25 Algorithms 21 Mathematics of Computing 21 Philosophy of Science 17 Symbolic and Algebraic Manipulation 17 Applications of Mathematics 14 Discrete Mathematics in Computer Science 14 Order, Lattices, Ordered Algebraic Structures 13 Analysis 12 Mathematical analysis 12 Philosophy 12 Probabilities 12