- Emil Jerábek. A Simplified Lower Bound for Implicational Logic. Bulletin of Symbolic Logic, 31(1):53-87, 2025.
- 2025 SPRING MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC 2025 APA Central Division Virtual Meeting February 27 - March 1, 2025. Bulletin of Symbolic Logic, 31(4):697-701, 2025.
- Association for Symbolic Logic. Bulletin of Symbolic Logic, 31(1):188-193, 2025.
- Java Darleen Villano. Computable Categoricity, and Topology in Reverse Mathematics. Bulletin of Symbolic Logic, 31(4):694, 2025.
- Ilijas Farah, Saeed Ghasemi, Andrea Vaccaro, Alessandro Vignati. Corona Rigidity. Bulletin of Symbolic Logic, 31(2):195-287, 2025.
- Amir M. Ben-Amram, Lars Kristiansen, Jakob Grue Simonsen. On Representations of irrational numbers and the Computational Complexity of Converting between such Representations. Bulletin of Symbolic Logic, 31(4):515-589, 2025.
- Rodolfo C. Ertola-Biraben, Branden Fitelson. Univocity of intuitionistic and Classical Connectives. Bulletin of Symbolic Logic, 31(3):488-497, 2025.
- THE 20TH LATIN AMERICAN SYMPOSIUM ON MATHEMATICAL LOGIC OF THE ASSOCIATION FOR SYMBOLIC LOGIC XX SIMPOSIO LATINOAMERICANO DE LÓGICA MATEMÁTICA Faculty de Ingeniería, Universidad de la República Montevideo, Uruguay July 1-5, 2024. Bulletin of Symbolic Logic, 31(1):153-180, 2025.
- 2025 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Seattle, WA 2025 Joint Mathematics Meeting January 8-11, 2025. Bulletin of Symbolic Logic, 31(3):503-507, 2025.
- Diego A. Rojas. Handbook of Computability and Complexity in Analysis. edited by Vasco Brattka and Peter Hertling, Springer, Cham, Switzerland, 2021, xxv + 427 pp. Bulletin of Symbolic Logic, 31(4):691-693, 2025.