SCIEQ1
BULLETIN OF SYMBOLIC LOGIC
CAMBRIDGE UNIV PRESS
BULLETIN OF SYMBOLIC LOGIC is an academic journal published by CAMBRIDGE UNIV PRESS. Identifiers: ISSN 1079-8986, eISSN 1943-5894. Indexed in SCIE. Metrics: JIF 1.1. Subject areas: LOGIC, MATHEMATICS. tlooto lists 508 papers from this journal.
CiteScore
-
Scopus citation metric
SJR
-
SCImago rank
SNIP
-
Source normalized impact
Percentage rank
-
JIF percentile rank
Journal profile
- ISSN
- 1079-8986
- eISSN
- 1943-5894
- Abbreviation
- B SYMB LOG
- Publisher
- CAMBRIDGE UNIV PRESS
- Country
- -
Web of Science categories
SCIELOGIC, MATHEMATICS
Scopus ASJC categories
No ASJC category data available.
Keywords
Mathematics | Logic
Papers in this journal
Recent papers
- Hubie Chen. Computability and Complexity. The MIT Press, Cambridge, Massachusetts, 2023, xvii + 394 pp.
2026
- BSL volume 32 issue 1 Cover and Front matter
2026
- I. Kalimullin, A. Melnikov, A. Montalbán. Punctual definability on structures. Annals of Pure and Applied Logic, vol. 172, no. 8 (2021), Paper 102987, 18 pp. - R. Downey, M. Harrison-Trainor, I. Kalimullin, A. Melnikov, D. Turetsky. Graphs are not universal for online computability, Journal of Computer and System Sciences, vol. 112 (2020), pp. 1–12. - N. Greenberg, M. Harrison-Trainor, A. Melnikov, D. Turetsky. Non-density in punctual computability, Annals of Pure and Applied Logic, vol. 172, no. 9 (2021), Paper 102985, 17 pp.
2026
- S. Todorčević and Z. Vidnyánszky A complexity problem for Borel graphs Inventiones mathematicae vol. 226 (2021), pp. 225–249.
2026
- CLASSIFICATION COMPLEXITY OF CHAOTIC SYSTEMS
2026
Most cited papers
- The Logic of Bunched Implications
1999 · 586 citations
- On the Decision Problem for Two-Variable First-Order Logic
1997 · 370 citations
- Computability and Recursion
1996 · 244 citations
- Hyperlinear and Sofic Groups: A Brief Guide
2008 · 232 citations
- Tarski's System of Geometry
1999 · 161 citations