Journal
Journal of Symbolic Logic
Cambridge University Press. Computability, Logic, AI Algorithms. 14,748 works and 145,444 citations indexed by CitedEvidence.
Works
14,748
Citations
145,444
H-index
154
ISSN
0022-4812
Open access
No
Impact
0.3
Research Topics
Computability, Logic, AI AlgorithmsAdvanced Algebra and LogicAdvanced Topology and Set TheoryLogic, Reasoning, and KnowledgeHistory and Theory of MathematicsLogic, programming, and type systemssemigroups and automata theoryPhilosophy and Theoretical ScienceDiverse Scientific and Economic StudiesMathematical and Theoretical Analysis