Logic, Symbolic and mathematical 334 Mathematics 126 Computer science 72 Philosophy 50 Logic design 29 Algebra 27 Logic, symbolic and mathematical 27 Logic 25 Artificial intelligence 21 Proof theory 19 Number theory 15 Science 15 Combinatorics 12 Philosophy (General) 12 Algebra, Abstract 11 Computer software 11 Data processing 11 Set theory 11 Combinatorial analysis 9 History 9 Information theory 9 Electronic digital computers 7 Logic programming 7 Mathematical recreations 7 Semantics 7 Computable functions 6 Computational complexity 6 Electronic data processing 6 Fuzzy logic 6 Geometry, algebraic 6