Logic, Symbolic and mathematical 173 Logic 81 Logic design 48 Philosophy 45 Logic circuits 43 Mathematics 43 Logic programming 38 Fuzzy logic 29 History 29 Reasoning 28 Data processing 25 Digital electronics 24 Set theory 23 Artificial intelligence 21 Science 21 Language and logic 19 Computer science 18 Design and construction 18 Proof theory 17 Semantics 17 Electronic digital computers 16 Computer logic 15 Methodology 15 Digital integrated circuits 12 Fuzzy systems 12 Modality (Logic) 12 Computational complexity 11 Computational linguistics 11 Computer-aided design 11 Field programmable gate arrays 11