Bulletin of Symbolic Logic
A conference, workshop or journal: the thing that recurs, across all its years.
The ASL's companion to the Journal of Symbolic Logic, carrying surveys, expository articles and communications rather than primary results — which makes it the better citation when what is wanted is an account of a field rather than a theorem.
https://www.cambridge.org/core/journals/bulletin-of-symbolic-logic
4 references
Constructive geometry and the parallel postulate
Michael Beeson (2016) · Bulletin of Symbolic Logic
Second order logic or set theory?
Jouko Väänänen (2012) · Bulletin of Symbolic Logic
On the unusual effectiveness of logic in computer science
Joseph Y. Halpern et al. (2001) · Bulletin of Symbolic Logic
Second-order logic and foundations of mathematics
Jouko Väänänen (2001) · Bulletin of Symbolic Logic