Logic, Symbolic and mathematical Congresses 45 Mathematics 34 Philosophy 24 Computer science 16 Automatic theorem proving 15 Set theory 15 Artificial intelligence 9 Methodology 9 Probabilities 9 Electronic data processing 8 Reasoning 8 Science 8 Computer programming 7 Logic 5 Expert systems (Computer science) 4 Logic programming 4 Thought and thinking 4 Algebra 3 Algebra, Boolean 3 Computable functions 3 Computational complexity 3 Computers 3 Data processing 3 Electronic digital computers 3 Nonclassical mathematical logic 3 Programmed instruction 3 Programming languages (Electronic computers) 3 Recursive functions 3 Semantics 3