JOURNAL OF SYMBOLIC LOGIC

主题词：Computability, Logic, AI Algorithms; Advanced Algebra and Logic; Advanced Topology and Set Theory; Logic, Reasoning, and Knowledge; History and Theory of Mathematics; Logic, programming, and type systems; semigroups and automata theory; Philosophy and Theoretical Science; Diverse Scientific and Economic Studies; Mathematical and Theoretical Analysis; Classical Philosophy and Thought; Philosophy, Science, and History; Philosophy and History of Science; Rings, Modules, and Algebras; Legal case studies and regulations; Mathematics and Applications; Homotopy and Cohomology in Algebraic Topology; History of Science and Medicine; Educational Robotics and Engineering; Limits and Structures in Graph Theory; Human auditory perception and evaluation; Historical Linguistics and Language Studies; Language and Culture; Semantic Web and Ontologies; Mathematical Dynamics and Fractals