This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
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
5 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 and others (2001) · Bulletin of Symbolic Logic
Second-order logic and foundations of mathematics
Jouko Väänänen (2001) · Bulletin of Symbolic Logic
The logic of bunched implications
Peter W. O'Hearn and others (1999) · Bulletin of Symbolic Logic