What is this? 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.

Journal of Symbolic Logic

A conference, workshop or journal: the thing that recurs, across all its years.

The Association for Symbolic Logic's main research journal, published since 1936: model theory, set theory, recursion theory and proof theory. The venue where a good deal of what computer science later borrowed from logic first appeared.

https://www.cambridge.org/core/journals/journal-of-symbolic-logic